TY  - BOOK
AU  - Александров, Виктор Васильевич
TI  - Автоматизированная обработка информации на языке предикатов / 
PY  - 1982///
CY  - Москва : 
PB  - Наука, 
ER  -