Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki. A Polynomial Time Algorithm for Finding Finite Unions of Tree Pattern Languages. In Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt, editors, Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings. Volume 659 of Lecture Notes in Computer Science, pages 118-131, Springer, 1991.
Abstract is missing.