A generalized resolution principle based upon context-free grammars

John C. Reynolds. A generalized resolution principle based upon context-free grammars. In IFIP Congress (2). pages 1405-1411, 1968.

Abstract

Abstract is missing.