Loop Formulas for Description Logic Programs

Publication
CoRR