A Resolution Theorem Prover for Intuitionistic Logic (1996)

Cached

Download Links

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