| 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 |
By thinking constantly about it…