Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.. Reasoning with BKBs - Algorithms and Complexity. Annals of Mathematics and Artificial Intelligence, 40(3-4):403, 2004. [doi]
@article{RosenSS04,
title = {Reasoning with BKBs - Algorithms and Complexity},
author = {Tzachi Rosen and Solomon Eyal Shimony and Eugene Santos Jr.},
year = {2004},
doi = {10.1023/B:AMAI.0000012874.65239.b0},
url = {http://dx.doi.org/10.1023/B:AMAI.0000012874.65239.b0},
researchr = {https://researchr.org/publication/RosenSS04},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {40},
number = {3-4},
pages = {403},
}