1. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet functions for contraction and revision. J. Symb. Log. 50, 510–530 (1985)
2. Bienvenu, M.: Prime implicates and prime implicants: from propositional to modal logic. J. Artif. Intell. Res. 36, 71–128 (2009)
3. Bienvenu, M., Herzig, A., Qi, G.: Prime implicate-based belief revision operators. In: Proc. of ECAI’08 (2008)
4. Bittencourt, G.: Advances in modeling adaptive and cognitive systems. In: Chap. A Memory Model for Cognitive Agents, pp. 60–76. UEFS (2010). ISBN 978-85-7395-194-3. http://www2.uefs.br/graco/amacs/
5. Bittencourt, G., Marchi, J.: Propositional reasoning for an embodied cognitive model. In: Bazzan, A.L.C., Labidi, S. (eds.) Proc. of the 17th Brazilian Symposium on Artificial Intelligence (SBIA’04), pp. 164–173. Springer, São Luís, Maranhão, Brasil (2004)