Artificial intelligence : PROCEEDINGS OF THE IFAC SYMPOSIUM, LENNINGRAD, USSR, 4-6 OCTOBER 1983. - Ponomaryov, V. M. (Peter Peregrinus, 1983)