Equations and Inequations on Finite and Infinite Trees

@inproceedings{inequations-fgcs1984,
   apice = {InequationsFgcs1984},
   author = {Alain Colmerauer},
   booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984},
   dblp = {conf/fgcs/Colmerauer84},
   isbn = {0444876731},
   location = {Tokyo, Japan},
   numpages = 15,
   pages = {85--99},
   publisher = {OHMSHA Ltd. Tokyo and North-Holland},
   title = {Equations and Inequations on Finite and Infinite Trees},
   year = 1984
}