Kevin Knuth

• Deriving Laws from Ordering Relations