On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs.

Amir Rahat, Nissim Francez, Oded Shmueli

Browse the full JELIA paper archive.