TY - JOUR AU - Coupet-Grimal, Solange TI - Prolog infinite trees and automata JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1991 SP - 397 EP - 418 VL - 25 IS - 5 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1991__25_5_397_0/ LA - en ID - ITA_1991__25_5_397_0 ER -