Partial deduction of logic programs WRT well-founded semantics

This publication has 8 references indexed in Scilit:

• On the relations between stable and well-founded semantics of logic programs
  Theoretical Computer Science, 1992
• A transformational approach to negation in logic programming
  The Journal of Logic Programming, 1990
• Eliminating negation from normal logic programs
  Published by Springer Nature ,1990
• Explanation-based generalisation = partial evaluation
  Artificial Intelligence, 1988
• Specialisation of Prolog and FCP programs using abstract interpretation
  New Generation Computing, 1988
• On the Declarative Semantics of Deductive Databases and Logic Programs
  Published by Elsevier ,1988
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987