C. Feier, S. Heymans: "A Sound and Complete Algorithm for Simple Conceptual Logic Programs"; Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-10, 2008; 24 pages.