Type Declarations as Subtype Constraints in Logic Programming.

Dean Jacobs Type Declarations as Subtype Constraints in Logic Programming. 165-173 1990 conf/pldi/1990 PLDI db/conf/pldi/pldi90.html#Jacobs90 http://doi.acm.org/10.1145/93542.93563