Koji Matsuda, Ikuo Tahara. Explanation-based closure of databases with hypotheses. Systems and Computers in Japan, 28(1):56-65, 1997. [doi]
@article{MatsudaT97, title = {Explanation-based closure of databases with hypotheses}, author = {Koji Matsuda and Ikuo Tahara}, year = {1997}, doi = {10.1002/(SICI)1520-684X(199701)28:1<56::AID-SCJ6>3.0.CO;2-R}, url = {http://dx.doi.org/10.1002/(SICI)1520-684X(199701)28:1<56::AID-SCJ6>3.0.CO;2-R}, tags = {rule-based}, researchr = {https://researchr.org/publication/MatsudaT97}, cites = {0}, citedby = {0}, journal = {Systems and Computers in Japan}, volume = {28}, number = {1}, pages = {56-65}, }