Login / Signup

TaMeD: A Tableau Method for Deduction Modulo.

Richard Bonichon
Published in: IJCAR (2004)
Keyphrases