Ordering Constraints Over Feature Trees Expressed in Second-Order Monadic Logic

Information and Computation - United States
doi 10.1006/inco.2000.2878