Equations and inequations on finite and infinite trees (1984)

by A Colmerauer
Venue:Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS’84), ICOT