Simple tree pattern matching for trees in the prefix bar notation

Jan Lahoda, Jan Zdárek. Simple tree pattern matching for trees in the prefix bar notation. Discrete Applied Mathematics, 163:343-351, 2014. [doi]

Abstract

Abstract is missing.