Flexible re-enactment of proofs, in (1997)

by M Fuchs
Venue:Proc. 8th Portuguese Conference on Artificial Intelligence (EPIA-97), LNAI 1323