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

Hassan Aït-Kaci An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. 52-68 1993 ILPS db/conf/slp/slp93.html#Ait-Kaci93