Melvin Fitting Enumeration Operators and Modular Logic Programming. 11-21 1987 4 J. Log. Program. 1 db/journals/jlp/jlp4.html#Fitting87