Supercompiler HOSC: proof of correctness (2010)

by I Klyuchnikov
Venue:Preprint 31, Keldysh Institute of Applied Mathematics