Search for More Declarativity. - Simon Brodt; François Bry; Norbert Eisinger (RR, 2009)

Reasoning as Axioms Change - Incremental View Maintenance Reconsidered. - Jakub Kotowski; François Bry; Simon Brodt (RR, 2011)