A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning

Helmuth Partsch, Frank A. Stomp. A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning. Formal Asp. Comput., 2(2):109-122, 1990.

Abstract

Abstract is missing.