Nested expressions in logic programs (1999)

by Vladimir Lifschitz
Venue:Annals of Mathematics and Artificial Intelligence