Equations and inequations on finite and infinite trees (1984)

by Alain Colmerauer
Venue:In Proceedings 0} the International Conference on Fifth Generation Computer System* (FGCS-84), ICOT