A. VoronkovBooksHandbook of automated reasoningLogic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990La marine marchande de l'U.R.S.S.Dvoret︠s︡ naukiSovetskiĭ morskoĭ torgovyĭ flotAuthor data: Open Library
