%0 Journal Article %1 journals/acta/CorderoEG02 %A Cordero, Pablo %A Enciso, Manuel %A de Guzmán, Inman P. %D 2002 %J Acta Inf. %K dblp %N 9 %P 599-619 %T Bases for closed sets of implicants and implicates in temporal logic. %U http://dblp.uni-trier.de/db/journals/acta/acta38.html#CorderoEG02 %V 38

@article{journals/acta/CorderoEG02, added-at = {2004-07-14T00:00:00.000+0200}, author = {Cordero, Pablo and Enciso, Manuel and de Guzmán, Inman P.}, biburl = {https://www.bibsonomy.org/bibtex/21e35d620e563dc3d2c58deeb7de5c5b6/dblp}, date = {2004-07-14}, description = {dblp}, ee = {http://link.springer.de/link/service/journals/00236/bibs/2038009/20380599.htm}, interhash = {3cc8918dc3380dd451a2920fadd43200}, intrahash = {1e35d620e563dc3d2c58deeb7de5c5b6}, journal = {Acta Inf.}, keywords = {dblp}, number = 9, pages = {599-619}, timestamp = {2004-07-14T00:00:00.000+0200}, title = {Bases for closed sets of implicants and implicates in temporal logic.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta38.html#CorderoEG02}, volume = 38, year = 2002 }