Equations as programming language (1984)

by Nachum Dershowitz
Venue:In Proceedings of the Fourth Jerusalem Conference on Information Technology