## Hassan Aït-Kaci

*An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations*

ICLP, 1993.

@inproceedings{ILPS-1993-Ait-Kaci, author = "Hassan Aït-Kaci", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-63152-0", pages = "52--68", publisher = "{MIT Press}", title = "{An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations}", year = 1993, }