Richard A. Hagen, Scott D. Goodwin, Abdul Sattar. Code Improvements for Model Elimination Based Reasoning Systems. In Vladimir Estivill-Castro, editor, Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004. Volume 26 of CRPIT, pages 233-240, Australian Computer Society, 2004. [doi]
@inproceedings{HagenGS04,
title = {Code Improvements for Model Elimination Based Reasoning Systems},
author = {Richard A. Hagen and Scott D. Goodwin and Abdul Sattar},
year = {2004},
url = {http://crpit.com/confpapers/CRPITV26Hagen.pdf},
tags = {rule-based},
researchr = {https://researchr.org/publication/HagenGS04},
cites = {0},
citedby = {0},
pages = {233-240},
booktitle = {Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004},
editor = {Vladimir Estivill-Castro},
volume = {26},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {1-920682-05-8},
}