William S. Havens Paul Stephen Rehfuss Platypus: A Constraint-Based Reasoning System. 48-53 1989 IJCAI db/conf/ijcai/ijcai89.html#HavensR89