%0 Journal Article %1 journals/ws/ZeseC21 %A Zese, Riccardo %A Cota, Giuseppe %D 2021 %J J. Web Semant. %K dblp %P 100677 %T Optimizing a tableau reasoner and its implementation in Prolog. %U http://dblp.uni-trier.de/db/journals/ws/ws71.html#ZeseC21 %V 71

@article{journals/ws/ZeseC21, added-at = {2021-12-25T00:00:00.000+0100}, author = {Zese, Riccardo and Cota, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/28423639e8138a58747b10b01da8569ea/dblp}, ee = {https://doi.org/10.1016/j.websem.2021.100677}, interhash = {56255567e9a80cf79f77a627c0d4a813}, intrahash = {8423639e8138a58747b10b01da8569ea}, journal = {J. Web Semant.}, keywords = {dblp}, pages = 100677, timestamp = {2024-04-09T00:57:33.000+0200}, title = {Optimizing a tableau reasoner and its implementation in Prolog.}, url = {http://dblp.uni-trier.de/db/journals/ws/ws71.html#ZeseC21}, volume = 71, year = 2021 }