IJCAI-83 : - Bundy, Alan (William Kaufmann (Distributor), 1983)