Flexible Re-Enactment of Proofs (1997)

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