Programming by example and proving by example using higher-order unification

• Authors:

• Masami Hagiya

• Affiliations:

• -

• Venue:
• CADE-10 Proceedings of the tenth international conference on Automated deduction
• Year:
• 1990