Katsumi Inoue Yoshimitsu Kudoh Learning Extended Logic Programs. 176-181 1997 IJCAI (1) db/conf/ijcai/ijcai97.html#InoueK97