Data Structures and Control Architectures for Implementation of Theorem-Proving Programs

An automated reasoning system

AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference

A survey of automated deduction

Artificial intelligence today

A parallel resolution procedure based on connection graph

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

A parallel resolution procedure based on connection graph

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1