ALKOC E.
CIVIL-COMP93 / Artificial Intelligence CIVIL-COMP93, Edinburgh, Saint Helena, 17 - 19 August 1993, pp.9-13