Katsumi Inoue. Consequence-Finding Based on Ordered Linear Resolution. In IJCAI. pages 158-164, 1991.
@inproceedings{Inoue91:0, title = {Consequence-Finding Based on Ordered Linear Resolution}, author = {Katsumi Inoue}, year = {1991}, tags = {rule-based}, researchr = {https://researchr.org/publication/Inoue91%3A0}, cites = {0}, citedby = {0}, pages = {158-164}, booktitle = {IJCAI}, }