Litong Song Yoshihiko Futamura A New Termination Approach for Specialization. 72-91 http://link.springer.de/link/service/series/0558/bibs/1924/19240072.htm 2000 conf/saig/2000 SAIG db/conf/saig/saig2000.html#SongF00