Learning and Applying Generalised Solutions using Higher Order Resolution

• Authors:

• Michael R. Donat;Lincoln A. Wallen

• Affiliations:

• -;-

• Venue:
• Proceedings of the 9th International Conference on Automated Deduction
• Year:
• 1988