@MISC{MPB-JH:AAR1992:rue-nrf,
AUTHOR = "Maria Paola Bonacina and Jieh Hsiang",
TITLE = "Incompleteness of the {RUE/NRF} inference systems",
HOWPUBLISHED = "Newsletter of the Association for Automated Reasoning,
No. 20, pages 9--12",
MONTH = "May",
YEAR = 1992}