@misc{9966, author = {Olav Lysne}, title = {On the Connection Between Narrowing and Proof by Consistency}, year = {1994}, journal = {Proceedings 12th International Conference on Automated Deduction, Nancy (France)}, pages = {133-147}, publisher = {Springer-Verlag}, }