TY  - BOOK
AU  - Ершов,Ю.Л.
AU  - Гончаров,С.С.
ED  - Ин-т математики СО АН СССР
TI  - Вычислительные системы: Сборник трудов Вып. 120, Логические методы в программировании 
PY  - 1987///
CY  - Новосибирск
PB  - Ин-та математики СО АН СССР
KW  - Вычислительные системы
ER  -