P.rex: An interactive proof explainer (2001)

by A Fiedler
Venue:IJCAR 2001, number 2083 in LNAI