Paramodulation-Based Theorem Proving (1999)

by Robert Nieuwenhuis , Albert Rubio
Citations:117 - 7 self