## Valentin F. Turchin

*The Use of Metasystem Transition in Theorem Proving and Program Optimization*

ICALP, 1980.

@inproceedings{ICALP-1980-Turchin, author = "Valentin F. Turchin", booktitle = "{Proceedings of the Seventh Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-10003-2_105", isbn = "3-540-10003-2", pages = "645--657", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Use of Metasystem Transition in Theorem Proving and Program Optimization}", volume = 85, year = 1980, }