Automatic deduction and equality. - Vincent J. Digricoli (ACM Annual Conference, 1979)

First Experiments with Rue Automated Deduction. - Vincent J. Digricoli (AAAI, 1980)

The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. - Vincent J. Digricoli (IJCAI, 1981)

Resolution by Unification and Equality. - Vincent J. Digricoli (1983)

The Management of Heuristic Search in Boolean Experiments with Rue Resolution. - Vincent J. Digricoli (IJCAI, 1985)

Equality-based binary resolution. - Vincent J. Digricoli; Malcolm C. Harrison (J. ACM, 1986)

And-Or Graphs Applied to RUE Resolution. - Vincent J. Digricoli; James J. Lu; V. S. Subrahmanian (IJCAI, 1989)

LIM+ Challenge Problems by RUE Hyper-Resolution. - Vincent J. Digricoli; Eugene Kochendorfer (CADE, 1992)

The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems. - Vincent J. Digricoli (J. Autom. Reason., 1994)