33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies (1996)

by William Mccune
Citations:24 - 5 self