%0 Conference Paper %1 conf/fct/FerreiraZ95 %A Ferreira, Maria C. F. %A Zantema, Hans %B FCT %D 1995 %E Reichel, Horst %I Springer %K dblp %P 243-252 %T Dummy Elimination: Making Termination Easier. %U http://dblp.uni-trier.de/db/conf/fct/fct95.html#FerreiraZ95 %V 965 %@ 3-540-60249-6

@inproceedings{conf/fct/FerreiraZ95, added-at = {2017-05-17T00:00:00.000+0200}, author = {Ferreira, Maria C. F. and Zantema, Hans}, biburl = {https://www.bibsonomy.org/bibtex/27c1a8e90199bf1803a817075cebdeebb/dblp}, booktitle = {FCT}, crossref = {conf/fct/1995}, editor = {Reichel, Horst}, ee = {https://doi.org/10.1007/3-540-60249-6_56}, interhash = {4b74c9f7d255f75d327a4020a663bf2c}, intrahash = {7c1a8e90199bf1803a817075cebdeebb}, isbn = {3-540-60249-6}, keywords = {dblp}, pages = {243-252}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:30:27.000+0200}, title = {Dummy Elimination: Making Termination Easier.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct95.html#FerreiraZ95}, volume = 965, year = 1995 }