STP: a simple theorem prover for IBM-PC compatible computers
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Code improvements for model elimination based reasoning systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Hi-index | 0.00 |