Equations and inequations on finite and infinite trees (1984)

by Alain Colmerauer
Venue:In Proceedings of the 2nd International Conference on Fifth Generation Computer Systems