Characterizing Implications of Injective Partial Orders | Publicación