Deepak Kapur;Paliath Narendran;Hantao Zhang
-;-;-
Test Sets for the Universal and Existential Closure of Regular Tree Languages
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications