Conference Proceedings
Abstract interpretation of active rules and its use in termination analysis
J Bailey, L Crnogorac, K Ramamohanarao, H Sondergaard, F Afrati (ed.), P Kolaitis (ed.)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER-VERLAG BERLIN | Published : 1997