50237371

j

50237371 Bornat, Richard Sufrin, Bernard Animating formal proof at the surface: the jape proof calculator Comput. J. 42, No. 3, 177-192 (1999). 1999 EN

doi:10.1093/comjnl/42.3.177