F. Bautista & C. Cares: . Referred in "A logic-based Service for Verifying Use Case Models", COMPUTATION TOOLS 2017, Athens, Greece.
C. Cares & M. Diéguez:. Referred in "An Answer Set Solution for Information Security Management", COMPUTATION TOOLS 2017, Athens, Greece.
C. Cares, J. Hochstetter & C. Ponce.