Theorem Proving Modulo

Cached

Download Links

by Gilles Dowek , Thérèse Hardin , Claude Kirchner
Venue:Journal of Automated Reasoning
Citations:112 - 18 self