%0 Journal Article %1 journals/fuin/CerroG99 %A del Cerro, Luis Fariñas %A Gasquet, Olivier %D 1999 %J Fundam. Informaticae %K dblp %N 4 %P 317-333 %T Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. %U http://dblp.uni-trier.de/db/journals/fuin/fuin40.html#CerroG99 %V 40

@article{journals/fuin/CerroG99, added-at = {2020-09-18T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas and Gasquet, Olivier}, biburl = {https://www.bibsonomy.org/bibtex/27e96b7ce54e0f3cb3f256d10695b17d7/dblp}, ee = {https://doi.org/10.3233/FI-1999-40401}, interhash = {2328ae9defe50fc2db9e638b26bee934}, intrahash = {7e96b7ce54e0f3cb3f256d10695b17d7}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 4, pages = {317-333}, timestamp = {2020-09-19T11:37:02.000+0200}, title = {Tableaux Based Decision Procedures for Modal Logics of Confluence and Density.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin40.html#CerroG99}, volume = 40, year = 1999 }