Published in
Lavoisier, Journal of Applied Non-Classical Logics, 1(5), p. 9-29
DOI: 10.1080/11663081.1995.10510841
Links
Tools
Increasing the efficiency of automated theorem proving
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 