K. Lavangnananda. 2004 International Conference on Computational
Intelligence for Modelling, Control and Automation -
Cimca'2004, page 279--290. Gold Coast, Australia, (12-14 July 2004)
E. Kitzelmann, U. Schmid, M. Mühlpfordt, and F. Wysotzki. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)