Flexible proof replay with heuristics, in (1997)

by Marc Fuchs
Venue:Proc. 8th Portuguese Conference on Artificial Intelligence (EPIA97), LNAI 1323