Most specific logic programs

This publication has 8 references indexed in Scilit:

• Unification Revisited
  Published by Elsevier ,1988
• Specification=program+types
  Published by Springer Nature ,1987
• Controlling recursive inference
  Artificial Intelligence, 1986
• Automating control for logic programs
  The Journal of Logic Programming, 1985
• Enumeration of success patterns in logic programs
  Theoretical Computer Science, 1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Algorithmic Program Debugging
  Published by MIT Press ,1983
• Partial evaluation as a means for inferencing data structures in an applicative language
  Published by Association for Computing Machinery (ACM) ,1982