and Halina Przymusinska. Negation as failure: careful closure procedure (1986)

by Michael Gelfond
Venue:Artificial Intelligence