%0 Conference Paper %1 conf/cade/FietzkeW08 %A Fietzke, Arnaud %A Weidenbach, Christoph %B IJCAR %D 2008 %E Armando, Alessandro %E Baumgartner, Peter %E Dowek, Gilles %I Springer %K %P 459-474 %T Labelled Splitting. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html#FietzkeW08 %V 5195 %@ 978-3-540-71069-1

@inproceedings{conf/cade/FietzkeW08, added-at = {2023-12-12T23:58:34.000+0100}, author = {Fietzke, Arnaud and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27c3bdae679e933a064ce6f9c0bc20b00/admin}, booktitle = {IJCAR}, crossref = {conf/cade/2008}, editor = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles}, ee = {https://doi.org/10.1007/978-3-540-71070-7_39}, interhash = {5cff9affd21e6e6da03fc4c1955351bc}, intrahash = {7c3bdae679e933a064ce6f9c0bc20b00}, isbn = {978-3-540-71069-1}, keywords = {}, pages = {459-474}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:58:34.000+0100}, title = {Labelled Splitting.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html#FietzkeW08}, volume = 5195, year = 2008 }