%0 Journal Article %1 journals/fuin/Nguyen09 %A Nguyen, Linh Anh %D 2009 %J Fundam. Informaticae %K dblp %N 1-3 %P 273-288 %T An Efficient Tableau Prover using Global Caching for the Description Logic ALC. %U http://dblp.uni-trier.de/db/journals/fuin/fuin93.html#Nguyen09 %V 93

@article{journals/fuin/Nguyen09, added-at = {2020-09-18T00:00:00.000+0200}, author = {Nguyen, Linh Anh}, biburl = {https://www.bibsonomy.org/bibtex/2eb1e5317c1bcb0bf09431c05fb8593d2/dblp}, ee = {https://doi.org/10.3233/FI-2009-0102}, interhash = {e6a9ef3aa4855bc10ca00c7dc15d222c}, intrahash = {eb1e5317c1bcb0bf09431c05fb8593d2}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-3}, pages = {273-288}, timestamp = {2020-09-19T11:35:10.000+0200}, title = {An Efficient Tableau Prover using Global Caching for the Description Logic ALC.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin93.html#Nguyen09}, volume = 93, year = 2009 }