%0 Conference Paper %1 conf/tableaux/Baelde09 %A Baelde, David %B TABLEAUX %D 2009 %E Giese, Martin %E Waaler, Arild %I Springer %K dblp %P 93-107 %T On the Proof Theory of Regular Fixed Points. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#Baelde09 %V 5607 %@ 978-3-642-02715-4

@inproceedings{conf/tableaux/Baelde09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Baelde, David}, biburl = {https://www.bibsonomy.org/bibtex/24c15766bb25fc8ac0172432acb6fa6bd/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2009}, editor = {Giese, Martin and Waaler, Arild}, ee = {https://doi.org/10.1007/978-3-642-02716-1_8}, interhash = {6a64c3ec69740d369a0a0fb25577b24a}, intrahash = {4c15766bb25fc8ac0172432acb6fa6bd}, isbn = {978-3-642-02715-4}, keywords = {dblp}, pages = {93-107}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:40.000+0200}, title = {On the Proof Theory of Regular Fixed Points.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#Baelde09}, volume = 5607, year = 2009 }