Platypus: A Constraint-Based Reasoning System. - William S. Havens; Paul Stephen Rehfuss (IJCAI, 1989)