Takeshi Koshiba Erkki Mäkinen Yuji Takada Learning Strongly Deterministic Even Linear Languages from Positive Examples. 41-54 1995 conf/alt/1995 ALT db/conf/alt/alt1995.html#KoshibaMT95