 | 1994 |
|---|
| 7 |       | Vincent J. Digricoli:
The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems.
J. Autom. Reasoning 12(2): 241-264 (1994) |
| 1992 |
|---|
| 6 |  | Vincent J. Digricoli,
Eugene Kochendorfer:
LIM+ Challenge Problems by RUE Hyper-Resolution.
CADE 1992: 239-252 |
| 1989 |
|---|
| 5 | | Vincent J. Digricoli,
James J. Lu,
V. S. Subrahmanian:
And-Or Graphs Applied to RUE Resolution.
IJCAI 1989: 354-358 |
| 1986 |
|---|
| 4 | | Vincent J. Digricoli,
Malcolm C. Harrison:
Equality-based binary resolution.
J. ACM 33(2): 253-289 (1986) |
| 1985 |
|---|
| 3 | | Vincent J. Digricoli:
The Management of Heuristic Search in Boolean Experiments with Rue Resolution.
IJCAI 1985: 1154-1161 |
| 1981 |
|---|
| 2 | | Vincent J. Digricoli:
The Efficacy of RUE Resolution Experimental Results and Heuristic Theory.
IJCAI 1981: 539-547 |
| 1980 |
|---|
| 1 | | Vincent J. Digricoli:
First Experiments with Rue Automated Deduction.
AAAI 1980: 96-98 |
