Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida, Satoshi Matsumoto, Yusuke Suzuki. An Efficient Pattern Matching Algorithm for Unordered Term Tree Patterns of Bounded Dimension. IEICE Transactions, 101-A(9):1344-1354, 2018. [doi]
Abstract is missing.