Jin Uemura Masako Sato Learning of Erasing Primitive Formal Systems from Positive Examples. 69-83 http://dx.doi.org/10.1007/978-3-540-39624-6_8 2003 conf/alt/2003 ALT db/conf/alt/alt2003.html#UemuraS03