@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}