Object-agent oriented programming. Amandi, Analía, Iturregui, Ramiro, Zunino, Alejandro (1999) Electronic Journal of SADIO [electronic only]
On the detection of some periodic loops during the execution of Prolog programs Dimiter Skordev (1993) Banach Center Publications