Finite and infinite computations of logic programs M.-A. Nait Abdallah — 1988 Banach Center Publications
Data types as algorithms M. A. Nait Abdallah — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications