%0 Conference Paper %1 conf/cade/MiddeldorpOZ96 %A Middeldorp, Aart %A Ohsaki, Hitoshi %A Zantema, Hans %B CADE %D 1996 %E McRobbie, Michael A. %E Slaney, John K. %I Springer %K dblp %P 373-387 %T Transforming Termination by Self-Labelling. %U http://dblp.uni-trier.de/db/conf/cade/cade96.html#MiddeldorpOZ96 %V 1104 %@ 3-540-61511-3

@inproceedings{conf/cade/MiddeldorpOZ96, added-at = {2018-11-02T00:00:00.000+0100}, author = {Middeldorp, Aart and Ohsaki, Hitoshi and Zantema, Hans}, biburl = {https://www.bibsonomy.org/bibtex/22d2d248d5b4f499ba626b9f620a4f164/dblp}, booktitle = {CADE}, crossref = {conf/cade/1996}, editor = {McRobbie, Michael A. and Slaney, John K.}, ee = {https://doi.org/10.1007/3-540-61511-3_101}, interhash = {f98e7d16d88c288a27aa3a9ad790e108}, intrahash = {2d2d248d5b4f499ba626b9f620a4f164}, isbn = {3-540-61511-3}, keywords = {dblp}, pages = {373-387}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:30.000+0200}, title = {Transforming Termination by Self-Labelling.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade96.html#MiddeldorpOZ96}, volume = 1104, year = 1996 }