Sangki Han Jung Wan Cho KPSP: A Knowledge Programming System based on Prolog. 2-9 1985 ER db/conf/er/er85.html#HanC85 conf/er/85 db/conf/er/HanC85.html er85/ER85-P002.pdf ... journals/cogsci/BobrowW77 ... ... journals/computer/Brachman83 journals/computer/BrachmanFL83 conf/db-workshops/Brodie82 journals/tods/Chen76 ... conf/fgcs/FurukawaTKYOU84 journals/csur/GallaireMN84 books/aw/GoldbergR83 conf/ijcai/Kornfeld83 ... conf/slp/MiyachiKKFTY84 conf/fgcs/MizoguchiOK84 conf/slp/Nakashima84 ... conf/db-workshops/Reiter82 ... conf/ijcai/SchmolzeL83 ... ... ... ... conf/slp/Zaniolo84