TR-92-23
Tree Pattern Matching for Strongly Sequential Systems
Hong, Jiefei. 25 November, 1992.