%0 Journal Article %1 journals/sLogica/Golinska-PilarekO07 %A Golinska-Pilarek, Joanna %A Orlowska, Ewa %D 2007 %J Stud Logica %K dblp %N 3 %P 283-302 %T Tableaux and Dual Tableaux: Transformation of Proofs. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica85.html#Golinska-PilarekO07 %V 85

@article{journals/sLogica/Golinska-PilarekO07, added-at = {2020-09-01T00:00:00.000+0200}, author = {Golinska-Pilarek, Joanna and Orlowska, Ewa}, biburl = {https://www.bibsonomy.org/bibtex/2de6457487cd7cd699233833f4b034986/dblp}, ee = {https://doi.org/10.1007/s11225-007-9055-8}, interhash = {d2acf93af9fbb71d2f3a26fdec79ab04}, intrahash = {de6457487cd7cd699233833f4b034986}, journal = {Stud Logica}, keywords = {dblp}, number = 3, pages = {283-302}, timestamp = {2020-09-09T12:38:04.000+0200}, title = {Tableaux and Dual Tableaux: Transformation of Proofs.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica85.html#Golinska-PilarekO07}, volume = 85, year = 2007 }