1. Atencia M, Schorlemmer M (2012) An interaction-based approach to semantic alignment. J Web Semant 13:131–147
2. Awodey S (2010) Category theory, 2nd edn. Oxford University Press, Oxford
3. Bail S, Parsia B, Sattler U (2011) Extracting finite sets of entailments from OWL ontologies. In: Rosati R, Rudolph S, Zakharyaschev M (eds) Proceedings of the 24th international workshop on Description Logic, Barcelona, Spain
4. Barr M, Wells C (2012) Category theory for computing science. Reprints in Theory and Applications of Categories, Charles Wells
5. Barwise J, Seligman J (1997) Information flow: the logic of distributed systems. Cambridge tracts in theoretical computer science, vol. 44. Cambridge University Press, Cambridge