SYMEVAL: A Theorem Prover Based on the Experimental Logic.

Frank M. Brown, Seung S. Park

Browse the full CADE paper archive.