Kazumi Saito Pat Langley Trond Grenager Christopher Potter Alicia Torregrosa Steven A. Klooster Computational Revision of Quantitative Scientific Models. 336-349 2001 conf/dis/2001 Discovery Science http://link.springer.de/link/service/series/0558/bibs/2226/22260336.htm db/conf/dis/dis2001.html#SaitoLGPTK01