HARP: A tableau-based theorem prover

Publisher Website

1 March 1988

journal article
Published by Springer Nature in Journal of Automated Reasoning

Vol. 4 (1)
https://doi.org/10.1007/bf00244513

Abstract

No abstract available

Keywords

Cited by 60 articles