Proof normalization for resolution and paramodulation (1989)

by L Bachmair
Venue:Proceedings 3rd Conference on Rewriting Techniques and Applications, Chapel Hill (N.C., USA). Volume 355 of LNCS