%0 Conference Paper %1 conf/sas/SpeirsSS97 %A Speirs, Chris %A Somogyi, Zoltan %A Søndergaard, Harald %B SAS %D 1997 %E Hentenryck, Pascal Van %I Springer %K dblp %P 160-171 %T Termination Analysis for Mercury. %U http://dblp.uni-trier.de/db/conf/sas/sas97.html#SpeirsSS97 %V 1302 %@ 3-540-63468-1

@inproceedings{conf/sas/SpeirsSS97, added-at = {2018-11-14T00:00:00.000+0100}, author = {Speirs, Chris and Somogyi, Zoltan and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2c1f9f6ac66a7bb56f19d1c1977ecc758/dblp}, booktitle = {SAS}, crossref = {conf/sas/1997}, editor = {Hentenryck, Pascal Van}, ee = {https://www.wikidata.org/entity/Q57665063}, interhash = {cac6dfded5409145e27ca8ee0490345f}, intrahash = {c1f9f6ac66a7bb56f19d1c1977ecc758}, isbn = {3-540-63468-1}, keywords = {dblp}, pages = {160-171}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:25.000+0200}, title = {Termination Analysis for Mercury.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas97.html#SpeirsSS97}, volume = 1302, year = 1997 }