author : Robert Nieuwenhuis

1 publication
page_white_acrobat Paramodulation-Based Theorem Proving (2001) — Robert Nieuwenhuis, Albert Rubio