1. Synthese Library;EW Adams,1975
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
3. Beierle, C.: Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logics. In: Hung, C., Papadopoulos, G.A. (eds.) The 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019), Limassol, Cyprus, 8–12 April 2019, pp. 1131–1138. ACM, New York (2019)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Beierle,2017
5. Beierle, C., Eichhorn, C., Kern-Isberner, G., Kutsch, S.: Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions. In: Kaminka, G.A., et al. (eds.) Proceedings 22nd European Conference on Artificial Intelligence, ECAI-2016. Frontiers in Artificial Intelligence and Applications, vol. 285, pp. 1149–1157. IOS Press, Amsterdam (2016)