Reasoning as Axioms Change - Incremental View Maintenance Reconsidered

Cite this paper

@inproceedings{Kotowski2011ReasoningAA, title={Reasoning as Axioms Change - Incremental View Maintenance Reconsidered}, author={Jakub Kotowski and François Bry and Simon Brodt}, booktitle={RR}, year={2011} }