Title: The action-as-implication paradigm
First published: 1996
Subjects: Computer logic, Automatic theorem proving
LC classification: QA76.9.A96 F76 1996