Ait-Kaci, Hassan and Andreas Podelski "Towards a meaning of LIFE"

Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991).   Hassan Ait Kaci

Languages mentioned LIFE {1987}