The context-splittable normal form for Church-Rosser language systems

Jens R. Woinowski. The context-splittable normal form for Church-Rosser language systems. Inf. Comput., 183(2):245-274, 2003. [doi]

Abstract

Abstract is missing.