Parallelism and tree regular constraints (2002)

by J Niehren, M Villaret
Venue:In: Proc. of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. LPAR’02. In: LNCS