1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JJ Alferes,2006
2. Balbiani, P., Herzig, A., Schwarzentruber, F., Troquard, N.: DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR abs/1411.7825 (2014). http://arxiv.org/abs/1411.7825
3. Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, 25–28 June 2013, pp. 143–152. IEEE Computer Society (2013). https://doi.org/10.1109/LICS.2013.20
4. Bertossi, L.E.: Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management. Morgan & Claypool Publishers (2011). https://doi.org/10.2200/S00379ED1V01Y201108DTM020
5. Bertossi, L.E., Pinto, J.: Specifying active rules for database maintenance. In: Saake, G., Schwarz, K., Türker, C. (eds.) Transactions and Database Dynamics, Proceedings of the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, 27–30 September 1999, vol. Preprint Nr. 19, pp. 65–81. Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg (1999)