Rewrite operationalization of clausal specifications with predefined structures

Klaus Becker. Rewrite operationalization of clausal specifications with predefined structures. PhD thesis, Universität Kaiserslautern, 1994.

Abstract

Abstract is missing.