Yasuhito Mukouchi Ikuyo Yamaue Masako Sato Inferring a Rewriting System from Examples. 93-104 http://link.springer.de/link/service/series/0558/bibs/1532/15320093.htm 1998 conf/dis/1998 Discovery Science db/conf/dis/dis98.html#MukouchiYS98