Koji Iwanuma Katsumi Inoue Hidetomo Nabeshima Reconsideration of circumscriptive induction with pointwise circumscription. 307-317 2009 7 J. Applied Logic 3 http://dx.doi.org/10.1016/j.jal.2008.10.005 db/journals/japll/japll7.html#IwanumaIN09