Home
DCC eCatalog
Chandrabose__Aravindan
Theorem proving techniques for view deletion in databases
