Arne J. Glenstrup, Neil D. Jones. BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Volume 1181 of Lecture Notes in Computer Science, pages 273-284, Springer, 1996.