Hassan Aït-Kaci Andreas Podelski Towards a Meaning of LIFE. 195-234 1993 16 J. Log. Program. 3 db/journals/jlp/jlp16.html#Ait-KaciP93