Logic Programming with Integrity Constraints.

Robert A. Kowalski

Browse the full JELIA paper archive.