%0 Conference Paper %1 conf/cl/BraileyPN00 %A Bailey, James %A Poulovassilis, Alexandra %A Newson, Peter %B Computational Logic %D 2000 %E Lloyd, John W. %E Dahl, Verónica %E Furbach, Ulrich %E Kerber, Manfred %E Lau, Kung-Kiu %E Palamidessi, Catuscia %E Pereira, Luís Moniz %E Sagiv, Yehoshua %E Stuckey, Peter J. %I Springer %K dblp %P 1106-1120 %T A Dynamic Approach to Termination Analysis for Active Database Rules. %U http://dblp.uni-trier.de/db/conf/cl/cl2000.html#BraileyPN00 %V 1861 %@ 3-540-67797-6

@inproceedings{conf/cl/BraileyPN00, added-at = {2019-04-16T00:00:00.000+0200}, author = {Bailey, James and Poulovassilis, Alexandra and Newson, Peter}, biburl = {https://www.bibsonomy.org/bibtex/24c4377f2be7ed765fde3a90e59f8d8c0/dblp}, booktitle = {Computational Logic}, crossref = {conf/cl/2000}, editor = {Lloyd, John W. and Dahl, Verónica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luís Moniz and Sagiv, Yehoshua and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/3-540-44957-4_74}, interhash = {77b6f6616e7f4ea18ad2739100ce0d22}, intrahash = {4c4377f2be7ed765fde3a90e59f8d8c0}, isbn = {3-540-67797-6}, keywords = {dblp}, pages = {1106-1120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:07:50.000+0200}, title = {A Dynamic Approach to Termination Analysis for Active Database Rules.}, url = {http://dblp.uni-trier.de/db/conf/cl/cl2000.html#BraileyPN00}, volume = 1861, year = 2000 }