On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. - Amir Rahat; Nissim Francez; Oded Shmueli (JELIA, 1990)