,
Springer
Lecture Notes in Computer Science
International Conference on Automated Deduction

de Nivelle, H. (1997). A classification of non-liftable orders for resolution. In Automated Deduction - CADE-14 (pp. 336–350). Springer.