%0 Conference Paper %1 conf/ijcai/BalbianiD97 %A Balbiani, Philippe %A Demri, Stéphane %B IJCAI (1) %D 1997 %I Morgan Kaufmann %K dblp %P 190-195 %T Prefixed Tableaux Systems for Modal Logics with Enriched Languages. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#BalbianiD97

@inproceedings{conf/ijcai/BalbianiD97, added-at = {2019-08-20T00:00:00.000+0200}, author = {Balbiani, Philippe and Demri, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/2c1936b7a68454038e9dc1f9787032cd6/dblp}, booktitle = {IJCAI (1)}, crossref = {conf/ijcai/1997}, ee = {http://ijcai.org/Proceedings/97-1/Papers/031.pdf}, interhash = {934ef9027b1b45ca81c4535a60d02a41}, intrahash = {c1936b7a68454038e9dc1f9787032cd6}, keywords = {dblp}, pages = {190-195}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:52:36.000+0200}, title = {Prefixed Tableaux Systems for Modal Logics with Enriched Languages.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai97.html#BalbianiD97}, year = 1997 }