Supercompiler HOSC 1.1: Proof of Termination (2010)

by Ilya Klyuchnikov
Venue:Preprint 21, Keldysh Institute of Applied Mathematics