IJCAI-85 : - Joshi, Aravind K. (Aravind Krishna), 1929-2017 (Morgan Kaufmann (distributor), 1985)