Towards a meaning of LIFE (1993)

by Hassan At-Kaci, Andreas Podelski
Venue:Journal of Logic Programming