Sign in
A Rule-Based Framework for Building Superposition-Based Decision Procedures.
Elena Tushkanova
Alain Giorgetti
Christophe Ringeissen
Olga Kouchnarenko
Published in:
WRLA (2012)
Keyphrases
</>
decision procedures
theorem proving
data sets