Koichi Furukawa Akikazu Takeuchi Susumu Kunifuji Hideki Yasukawa Masaru Ohki Kazunori Ueda MANDELA: A LogicBased Knowledge Programming System. 613-622 1984 FGCS db/conf/fgcs/fgcs84.html#FurukawaTKYOU84