Invariant-Free Clausal Temporal Resolution | Publicación