Theorem proving modulo (0)

by Gilles Dowek, Thérèse Hardin, Claude Kirchner
Venue:J. Autom. Reason