&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Препринты ИПМ им.М.В.Келдыша. &mdash; 1994. &mdash; Москва: ИПМ им. М. В. Келдыша РАН.<br><br>Захаров, В. А.<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;№ 73. О преобразовании операторных процедур в логические программы / В. А. Захаров, С. И. Маневич. &mdash; 1994. &mdash; 23 с. (Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). &mdash; ISSN 2071-2898 (Print). &mdash; ISSN 2071-2901 (Online).<br><br><br>Маневич, С. И.<br><br>УДК: 519.1 <br><br>[ SYS NUM: 25104 ]