%0 Conference Paper %1 conf/cade/KazakovN04 %A Kazakov, Yevgeny %A de Nivelle, Hans %B IJCAR %D 2004 %E Basin, David A. %E Rusinowitch, Michaël %I Springer %K dblp %P 122-136 %T A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#KazakovN04 %V 3097 %@ 3-540-22345-2

@inproceedings{conf/cade/KazakovN04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kazakov, Yevgeny and de Nivelle, Hans}, biburl = {https://www.bibsonomy.org/bibtex/280ab216c65f5d34560cc6736bf0be969/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2004}, editor = {Basin, David A. and Rusinowitch, Michaël}, ee = {https://doi.org/10.1007/978-3-540-25984-8_7}, interhash = {3e56990f6e4e49a854348b210b14530e}, intrahash = {80ab216c65f5d34560cc6736bf0be969}, isbn = {3-540-22345-2}, keywords = {dblp}, pages = {122-136}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:39.000+0200}, title = {A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2004.html#KazakovN04}, volume = 3097, year = 2004 }