Setsuo Arikawa Takeshi Shinohara Akihiro Yamamoto Learning Elementary Formal Systems. 97-113 1992 95 Theor. Comput. Sci. 1 db/journals/tcs/tcs95.html#ArikawaSY92