Chandrabose Aravindan Peter Baumgartner Theorem Proving Techniques for View Deletion in Databases. 119-147 2000 29 J. Symb. Comput. 2 db/journals/jsc/jsc29.html#AravindanB00