Nadia Labai, Martin Homola, Magdalena Ortiz: Constructive Satisfiability Procedure for ALC<sup>P</sup>(Z) (Preliminary Report). Description Logics 2017