Kazuhisa Makino Hirotaka Ono Deductive Inference for the Interiors and Exteriors of Horn Theories. 390-401 2008 ISAAC http://dx.doi.org/10.1007/978-3-540-92182-0_36 conf/isaac/2008 db/conf/isaac/isaac2008.html#MakinoO08