Verified Model Checking for Conjunctive Positive Logic | Publicación