AuthorsO. Lysne
TitleOn the Connection Between Narrowing and Proof by Consistency
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1994
Conference NameProceedings 12th International Conference on Automated Deduction, Nancy (France)
Pagination133-147
PublisherSpringer-Verlag
Citation KeyND.5.LYSNE.1994.a