Linear objects: Logical processes with built-in inheritance (1990)

by J-M Andreoli, R Pareschi
Venue:In Proc. 7-th International Conference on Logic Programming