A Resolution Theorem Prover for Intuitionistic Logic (1996)

Cached

Download Links

by Tanel Tammet
Venue:Proceedings of CADE-13
Citations:42 - 4 self