Deductive Inference for the Interiors and Exteriors of Horn Theories.

Kazuhisa Makino, Hirotaka Ono

Browse the full ISAAC paper archive.