%0 Journal Article %1 journals/amai/GuzmanOV99 %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %A Valverde, Agustín %D 1999 %J Ann. Math. Artif. Intell. %K dblp %N 1-4 %P 3-23 %T Implicates and reduction techniques for temporal logics. %U http://dblp.uni-trier.de/db/journals/amai/amai27.html#GuzmanOV99 %V 27

@article{journals/amai/GuzmanOV99, added-at = {2011-05-18T00:00:00.000+0200}, author = {de Guzmán, Inman P. and Ojeda-Aciego, Manuel and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/205c5b03e75735f5263b8e1ece38c0107/dblp}, ee = {http://dx.doi.org/10.1023/A:1018923315631}, interhash = {a3041adccfd26259d9dc88b871c467b9}, intrahash = {05c5b03e75735f5263b8e1ece38c0107}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-4}, pages = {3-23}, timestamp = {2011-05-19T11:37:09.000+0200}, title = {Implicates and reduction techniques for temporal logics.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai27.html#GuzmanOV99}, volume = 27, year = 1999 }