Katsumi Inoue Koji Iwanuma Hidetomo Nabeshima Consequence finding and computing answers with defaults. 41-58 2006 26 J. Intell. Inf. Syst. 1 http://dx.doi.org/10.1007/s10844-006-5450-2 db/journals/jiis/jiis26.html#InoueIN06