On the Connection Between Narrowing and Proof by Consistency
- Authors
- O. Lysne
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1994
- Journal
- Proceedings 12th International Conference on Automated Deduction, Nancy (France)
- Publisher
- Springer-Verlag
- Citation key
- 9966