DMCA

Verified heap theorem prover by paramodulation. in preparation (2011)

by Gordon Stewart , Lennart Beringer
Citations:6 - 1 self