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]
Abstract is missing.