%0 Conference Paper %1 conf/icdt/BaileyCRS97 %A Bailey, James %A Crnogorac, Lobel %A Ramamohanarao, Kotagiri %A Søndergaard, Harald %B ICDT %D 1997 %E Afrati, Foto N. %E Kolaitis, Phokion G. %I Springer %K dblp %P 188-202 %T Abstract Interpretation of Active Rules and its Use in Termination Analysis. %U http://dblp.uni-trier.de/db/conf/icdt/icdt97.html#BaileyCRS97 %V 1186 %@ 3-540-62222-5

@inproceedings{conf/icdt/BaileyCRS97, added-at = {2019-04-16T00:00:00.000+0200}, author = {Bailey, James and Crnogorac, Lobel and Ramamohanarao, Kotagiri and Søndergaard, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2a906b051f32093b1a94fc2d17ed30e6f/dblp}, booktitle = {ICDT}, cdrom = {ICDT1997/P188.pdf}, cite = {journals/sigmod/Widom92}, crossref = {conf/icdt/97}, editor = {Afrati, Foto N. and Kolaitis, Phokion G.}, ee = {https://www.wikidata.org/entity/Q57665059}, interhash = {fec7a87cd02b5be4f53dcb7df5f33976}, intrahash = {a906b051f32093b1a94fc2d17ed30e6f}, isbn = {3-540-62222-5}, keywords = {dblp}, pages = {188-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:08:37.000+0200}, title = {Abstract Interpretation of Active Rules and its Use in Termination Analysis.}, url = {http://dblp.uni-trier.de/db/conf/icdt/icdt97.html#BaileyCRS97}, volume = 1186, year = 1997 }