Egon Börger Dean Rosenzweig The Mathematics of Set Predicates in Prolog. 1-13 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#BorgerR93