Vincent J. Digricoli. First Experiments with Rue Automated Deduction. In AAAI. pages 96-98, 1980.
@inproceedings{Digricoli80,
title = {First Experiments with Rue Automated Deduction},
author = {Vincent J. Digricoli},
year = {1980},
researchr = {https://researchr.org/publication/Digricoli80},
cites = {0},
citedby = {0},
pages = {96-98},
booktitle = {AAAI},
}