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 |