A Comparison of Three Occur-Check Analysers. - Lobel Crnogorac; Andrew D. Kelly; Harald Søndergaard (SAS, 1996)

Abstract Interpretation of Active Rules and its Use in Termination Analysis. - James Bailey 001; Lobel Crnogorac; Kotagiri Ramamohanarao; Harald Søndergaard (ICDT, 1997)

Analysis of Inheritance Mechanisms in Agent-Oriented Programming. - Lobel Crnogorac; Anand S. Rao; Kotagiri Ramamohanarao (IJCAI (1), 1997)

Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming. - Lobel Crnogorac; Anand S. Rao; Kotagiri Ramamohanarao (ECOOP, 1998)