TY - SER AU - Стэбли,Д. TI - Логическое программирование в системе /360: пер. с англ PY - 1979/// CY - М. PB - Мир ER -