5 works on record
Handbook of automated reasoning
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990
La marine marchande de l'U.R.S.S.
Dvoret︠s︡ nauki
Sovetskiĭ morskoĭ torgovyĭ flot