Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.

Inman P. de Guzmn, Pablo Cordero, Manuel Enciso

Browse the full EPIA paper archive.