Enumeration Operators and Modular Logic Programming

Melvin Fitting. Enumeration Operators and Modular Logic Programming. Journal of Logic and Algebraic Programming, 4(1):11-21, 1987.

Abstract

Abstract is missing.