%0 Conference Paper %1 journals/entcs/SeylanE09 %A Seylan, Inanç %A Erdur, Riza Cenk %B M4M %D 2007 %E Areces, Carlos %E Demri, Stéphane %I Elsevier %K dblp %P 113-130 %T A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains. %U http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#SeylanE09 %V 231

@inproceedings{journals/entcs/SeylanE09, added-at = {2024-02-05T00:00:00.000+0100}, author = {Seylan, Inanç and Erdur, Riza Cenk}, biburl = {https://www.bibsonomy.org/bibtex/2e0145c43da03a8adf59b478084aaa245/dblp}, booktitle = {M4M}, crossref = {conf/m4m/2007}, editor = {Areces, Carlos and Demri, Stéphane}, ee = {https://doi.org/10.1016/j.entcs.2009.02.032}, interhash = {848f8c6359929cabeb788fda413d6e77}, intrahash = {e0145c43da03a8adf59b478084aaa245}, keywords = {dblp}, pages = {113-130}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T02:35:46.000+0200}, title = {A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs231.html#SeylanE09}, volume = 231, year = 2007 }