Polynomial Time Inductive Inference of Regular Term Tree Languages from Positive Data.

Satoshi Matsumoto Yukiko Hayashi Takayoshi Shoudai Polynomial Time Inductive Inference of Regular Term Tree Languages from Positive Data. 212-227 1997 conf/alt/1997 ALT db/conf/alt/alt1997.html#MatsumotoHS97 http://dx.doi.org/10.1007/3-540-63577-7_45