Algorithmically Efficient Syntactic Characterization of Possibility Domains | Publicación