Some group theoretic examples with completion theorem provers S. LintonD. Shand OriginalPaper Pages: 145 - 169
Model theoretic approach to view updates in deductive databases José Alberto FernándezJohn GrantJack Minker OriginalPaper Pages: 171 - 197