Nested expressions in logic programs (1999)

by V LIFSCHITZ, L R TANG, H TURNER
Venue:Annals of Mathematics and Artificial Intelligence