PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2013)