Equations and inequations on nite and in nite trees (1984)

by A Colmerauer
Venue:Proc. of the Second International Conference on Fifth Generation Computer Systems