Nested Expressions in Logic Programs

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner. Nested Expressions in Logic Programs. Annals of Mathematics and Artificial Intelligence, 25(3-4):369-389, 1999.

Abstract

Abstract is missing.