1. Haugh B. Simple causal minimizations for temporal persistence and projection, Proc. AAAI-87, (1987), pp. 218–223
2. Lakatos I. Falsification and the methodology of scientific research programmes, in Problems in the Philosophy of Science, Lakatos and Musgrave (eds.), North Holland, Amsterdam (1970), pp. 91–196
3. Nait Abdallah M. A. Procedures in logic programming, Springer LNCS 225 (1986), pp. 433–447
4. Nait Abdallah M. A. Ions and local definitions in logic programming, Springer LNCS 210 (1986), pp. 60–72
5. Nait Abdallah M. A. AL-KHOWARIZMI: A formal system for higher order logic programming, Springer LNCS 233 (1986), pp. 545–553