Expressivity and Decidability of First-order Languages over Feature Trees. Doctoral Dissertation. Universität des Saarlandes, Technische Fakultät, 66041 (1994)

by Rolf Backofen
Venue:In ACM Conference on Programming Language Design and Implementation