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]
No references recorded for this publication.
No citations of this publication recorded.