Unfold/fold transformation of stratified programs

This publication has 4 references indexed in Scilit:

• Closures and fairness in the semantics of programming logic
  Theoretical Computer Science, 1984
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
  The Journal of Logic Programming, 1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965