%0 Journal Article %1 journals/jancl/GuzmanEC00 %A de Guzmán, Inman P. %A Enciso, Manuel %A Cordero, Pablo %D 2000 %J J. Appl. Non Class. Logics %K dblp %N 3-4 %P 243-272 %T A temporal negative normal form which preserves implicants and implicates. %U http://dblp.uni-trier.de/db/journals/jancl/jancl10.html#GuzmanEC00 %V 10

@article{journals/jancl/GuzmanEC00, added-at = {2020-04-25T00:00:00.000+0200}, author = {de Guzmán, Inman P. and Enciso, Manuel and Cordero, Pablo}, biburl = {https://www.bibsonomy.org/bibtex/27b34574bf52edd29e33bc9c2514dee57/dblp}, ee = {https://doi.org/10.1080/11663081.2000.10510999}, interhash = {1c6c72ef5dcfee4e94da7b06e51ddafe}, intrahash = {7b34574bf52edd29e33bc9c2514dee57}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = {3-4}, pages = {243-272}, timestamp = {2020-04-28T12:07:26.000+0200}, title = {A temporal negative normal form which preserves implicants and implicates.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl10.html#GuzmanEC00}, volume = 10, year = 2000 }