On the Connection Between Narrowing and Proof by Consistency

Authors	O. Lysne
Title	On the Connection Between Narrowing and Proof by Consistency
Status	Published
Publication Type	Proceedings, refereed
Year of Publication	1994
Conference Name	Proceedings 12th International Conference on Automated Deduction, Nancy (France)
Pagination	133-147
Publisher	Springer-Verlag
Citation Key	ND.5.LYSNE.1994.a

Search form