1. Lecture Notes in Computer Science;J. Bao,2006
2. Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. JSAT 7(2-3), 6–59 (2010)
3. Beuche, D., Papajewski, H., Schrder-Preikschat, W.: Variability management with feature models. Science of Computer Programming 53(3) (December 2004)
4. Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., Smith, M.: OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. Tr, W3C (2009)
5. Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal on Data Semantics 1, 153–184 (2003)