Victor Felea, Marian Razvan Balta. Expansions and Equivalence of Queries Using Views with Parameters and Negation. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 31-38, IEEE Computer Society, 2008. [doi]
Abstract is missing.