Bases for closed sets of implicants and implicates in temporal logic

Pablo Cordero, Manuel Enciso, Inman P. de Guzmán. Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica, 38(9):599-619, 2002. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: