Proof by pointing (1994)

by Yves Bertot, Gilles Kahn, Laurent Théry
Venue:In TACS, LNCS