Krzysztof R. Apt Declarative Programming in Prolog. 12-35 1993 ILPS db/conf/slp/slp93.html#Apt93