Takushi Tanaka Definite-Clause Set Grammars: A Formalism for Problem Solving. 1-17 1991 10 J. Log. Program. 1/2/3&4 db/journals/jlp/jlp10.html#Tanaka91