Qualified answers and their application to transformation

• Authors:

• Phil Vasey

• Affiliations:

• -

• Venue:
• Proceedings on Third international conference on logic programming
• Year:
• 1986