An algorithm for reasoning about equality

• Authors:

• Robert E. Shostak

• Affiliations:

• Stanford Research Institute, Menlo Park, California

• Venue:
• IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
• Year:
• 1977