Theorem Proving Modulo

Cached

Download Links

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