The use of metasystem transition in theorem proving and program optimization (1980)

by V F Turchin
Venue:In Proceedings of the 7th Colloquium on Automata, Languages and Programming, volume 85 of LNCS