Structure Theorems for Closed Sets of Implicates/Implicants in Temporal Logic | Publicación