---
title: "And-Or Graphs Applied to RUE Resolution"
authors:
  - "Vincent J. Digricoli"
  - "James J. Lu"
  - "V. S. Subrahmanian"
doi: ""
url: "https://ijcai.org/proceedings/1989/56"
pdf: "https://ijcai.org/proceedings/1989/0056.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "354-357"
track: "Automated Deduction"
keywords:
---

# And-Or Graphs Applied to RUE Resolution

Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, pages 354-357.

## Abstract

In equality-based binary resolution, the viability test is used as a decision mechanism to select disagreement sets and also to define the RUE unifier, In this paper we solve the problem of non-termination of the viability test by applying the theory of And-Or graphs.