Nested expressions in logic programs (1999)

by V Lifschitz, L Tang, Hudson Turner
Venue:Annals of Mathematics and Arti cial Intelligence