Vladimir Lifschitz Lappoon R. Tang Hudson Turner Nested Expressions in Logic Programs. 369-389 1999 25 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai25.html#LifschitzTT99