Logical basis for the automation of reasoning: case studies

• Authors:

• Larry Wos;Robert Veroff

• Affiliations:

• -;-

• Venue:
• Handbook of logic in artificial intelligence and logic programming
• Year:
• 1994