TY - RPRT TI - Algorithmically Efficient Syntactic Characterization of Possibility Domains AU - Josep Díaz AU - Lefteris Kirousis AU - Sofia Kokonezi AU - John Livieratos PY - 2019 UR - https://arxiv.org/abs/1901.00138 ID - 1901.00138 ER -