Nested expressions in logic programs (1999)

by Vladimir Lifschitz, Lappoon R Tang, Hudson Turner
Venue:Annals of Mathematics and Artificial Intelligence