%0 Journal Article %1 journals/tocl/MakinoO12 %A Makino, Kazuhisa %A Ono, Hirotaka %D 2012 %J ACM Trans. Comput. Log. %K dblp %N 3 %P 23:1-23:16 %T Deductive inference for the interiors and exteriors of horn theories. %U http://dblp.uni-trier.de/db/journals/tocl/tocl13.html#MakinoO12 %V 13

@article{journals/tocl/MakinoO12, added-at = {2023-12-29T00:00:00.000+0100}, author = {Makino, Kazuhisa and Ono, Hirotaka}, biburl = {https://www.bibsonomy.org/bibtex/27b397c5e96dcfc16d8fe511c0498adef/dblp}, ee = {https://doi.org/10.1145/2287718.2287723}, interhash = {b1bc9e55501a579fd97f58ebac9f2fb1}, intrahash = {7b397c5e96dcfc16d8fe511c0498adef}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 3, pages = {23:1-23:16}, timestamp = {2024-04-08T12:38:30.000+0200}, title = {Deductive inference for the interiors and exteriors of horn theories.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl13.html#MakinoO12}, volume = 13, year = 2012 }