%0 Conference Paper %1 conf/mfcs/FerreiraKP98 %A Ferreira, Maria C. F. %A Kesner, Delia %A Puel, Laurence %B MFCS %D 1998 %E Brim, Lubos %E Gruska, Jozef %E Zlatuska, Jirí %I Springer %K dblp %P 239-247 %T Reducing AC-Termination to Termination. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs98.html#FerreiraKP98 %V 1450 %@ 3-540-64827-5

@inproceedings{conf/mfcs/FerreiraKP98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ferreira, Maria C. F. and Kesner, Delia and Puel, Laurence}, biburl = {https://www.bibsonomy.org/bibtex/2a894cecafeb7146ede072c22e9cd34a1/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1998}, editor = {Brim, Lubos and Gruska, Jozef and Zlatuska, Jirí}, ee = {https://doi.org/10.1007/BFb0055773}, interhash = {8555a460359f060aeddf2fe6b5632959}, intrahash = {a894cecafeb7146ede072c22e9cd34a1}, isbn = {3-540-64827-5}, keywords = {dblp}, pages = {239-247}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:10:55.000+0200}, title = {Reducing AC-Termination to Termination.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs98.html#FerreiraKP98}, volume = 1450, year = 1998 }