Real Theorem Provers Deserve Real User-Interfaces (1992)
by
Laurent Thery
,
Yves Bertot
,
Gilles Kahn
| Citations: | 54 - 5 self |







