%0 Conference Paper %1 conf/lopstr/SerebrenikS00 %A Serebrenik, Alexander %A Schreye, Danny De %B LOPSTR %D 2000 %E Lau, Kung-Kiu %I Department of Computer Science, University of Manchester %K dblp %T Non-tranformational termination analysis of logic programs, based on general term-orderings. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2000.html#SerebrenikS00 %V UMCS-00-6-1

@inproceedings{conf/lopstr/SerebrenikS00, added-at = {2014-02-11T00:00:00.000+0100}, author = {Serebrenik, Alexander and Schreye, Danny De}, biburl = {https://www.bibsonomy.org/bibtex/2d434f41dceb1db88f3367f521a817cdf/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2000ext}, editor = {Lau, Kung-Kiu}, ee = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-serebrenik.ps.Z}, interhash = {34751903e9863071b61fdc90087e27fb}, intrahash = {d434f41dceb1db88f3367f521a817cdf}, keywords = {dblp}, publisher = {Department of Computer Science, University of Manchester}, series = {Technical Report}, timestamp = {2015-06-19T01:16:35.000+0200}, title = {Non-tranformational termination analysis of logic programs, based on general term-orderings.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2000.html#SerebrenikS00}, volume = {UMCS-00-6-1}, year = 2000 }