Advanced Topics in Automated Deduction

• Authors:

• Wolfgang Bibel

• Affiliations:

• -

• Venue:
• Advanced Topics in Automated Deduction
• Year:
• 1987