%0 Conference Paper %1 conf/rta/ArtsG96 %A Arts, Thomas %A Giesl, Jürgen %B RTA %D 1996 %E Ganzinger, Harald %I Springer %K dblp %P 63-77 %T Termination of Constructor Systems. %U http://dblp.uni-trier.de/db/conf/rta/rta96.html#ArtsG96 %V 1103 %@ 3-540-61464-8

@inproceedings{conf/rta/ArtsG96, added-at = {2019-09-25T00:00:00.000+0200}, author = {Arts, Thomas and Giesl, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2218fd164abebec81562c5da28c02f1f6/dblp}, booktitle = {RTA}, crossref = {conf/rta/1996}, editor = {Ganzinger, Harald}, ee = {https://doi.org/10.1007/3-540-61464-8_43}, interhash = {0f769586920dcecfcf9e7dbba34177b4}, intrahash = {218fd164abebec81562c5da28c02f1f6}, isbn = {3-540-61464-8}, keywords = {dblp}, pages = {63-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:00:43.000+0200}, title = {Termination of Constructor Systems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta96.html#ArtsG96}, volume = 1103, year = 1996 }