Rajeev Goré Joachim Posegga Andrew Slater Harald Vogt System Description: <i>card</i> <i>T</i><sup><i>A</i></sup><i>P</i>: The First Theorem Prover on a Smart Card. 47-50 1998 conf/cade/1998 CADE db/conf/cade/cade98.html#GorePSV98 http://link.springer.de/link/service/series/0558/bibs/1421/14210047.htm