Paramodulation-Based Theorem Proving (1999)

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