Yasuhito Mukouchi Inferring a System from Examples with Time Passage. 197-211 1997 conf/alt/1997 ALT db/conf/alt/alt1997.html#Mukouchi97