%0 Conference Paper %1 conf/icde/KaradimceU96 %A Karadimce, Anton P. %A Urban, Susan Darling %B ICDE %D 1996 %E Su, Stanley Y. W. %I IEEE Computer Society %K dblp %P 384-391 %T Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database. %U http://dblp.uni-trier.de/db/conf/icde/icde96.html#KaradimceU96 %@ 0-8186-7240-4

@inproceedings{conf/icde/KaradimceU96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Karadimce, Anton P. and Urban, Susan Darling}, biburl = {https://www.bibsonomy.org/bibtex/292092e81108bbbc1e24f818c02ec6318/dblp}, booktitle = {ICDE}, cdrom = {ICDE96/P384.pdf}, cite = {conf/edbt/ZhouH90}, crossref = {conf/icde/96}, editor = {Su, Stanley Y. W.}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDE.1996.492187}, interhash = {e114ef28b9a21a3ef4258625afdabab2}, intrahash = {92092e81108bbbc1e24f818c02ec6318}, isbn = {0-8186-7240-4}, keywords = {dblp}, pages = {384-391}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:13:36.000+0200}, title = {Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-Oriented Database.}, url = {http://dblp.uni-trier.de/db/conf/icde/icde96.html#KaradimceU96}, year = 1996 }