Bases for closed sets of implicants and implicates in temporal logic | Publicación