DMCA

Real Theorem Provers Deserve Real User-Interfaces (1992)

by Laurent Thery , Yves Bertot , Gilles Kahn
Citations:59 - 5 self