%0 Conference Paper %1 conf/slp/DecorteSF93 %A Decorte, Stefaan %A Schreye, Danny De %A Fabris, Massimo %B ILPS %D 1993 %E Miller, Dale %I MIT Press %K dblp %P 420-436 %T Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. %U http://dblp.uni-trier.de/db/conf/slp/slp93.html#DecorteSF93 %@ 0-262-63152-0

@inproceedings{conf/slp/DecorteSF93, added-at = {2013-12-04T00:00:00.000+0100}, author = {Decorte, Stefaan and Schreye, Danny De and Fabris, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/27ef0cef147a1835ed36371a5cef99207/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1993}, editor = {Miller, Dale}, interhash = {c76fbcc8f0a48ddd450fcff69371b80c}, intrahash = {7ef0cef147a1835ed36371a5cef99207}, isbn = {0-262-63152-0}, keywords = {dblp}, pages = {420-436}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:58.000+0100}, title = {Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp93.html#DecorteSF93}, year = 1993 }