A resolution theorem prover for intuitionistic logic (1996)

by T Tammet
Venue:Conference on Automated Deduction