Proof by Pointing (1994)

Cached

Download Links

by Yves Bertot , Gilles Kahn , Laurent Thery
Citations:40 - 8 self