%0 Conference Paper %1 conf/jelia/GuzmanOV98 %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %A Valverde, Agustín %B JELIA %D 1998 %E Dix, Jürgen %E del Cerro, Luis Fariñas %E Furbach, Ulrich %I Springer %K dblp %P 309-323 %T Implicates and Reduction Techniques for Temporal Logics. %U http://dblp.uni-trier.de/db/conf/jelia/jelia98.html#GuzmanOV98 %V 1489 %@ 3-540-65141-1

@inproceedings{conf/jelia/GuzmanOV98, added-at = {2017-05-23T00:00:00.000+0200}, author = {de Guzmán, Inman P. and Ojeda-Aciego, Manuel and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/279f6771f04229d3e414940b91f395d18/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1998}, editor = {Dix, Jürgen and del Cerro, Luis Fariñas and Furbach, Ulrich}, ee = {https://doi.org/10.1007/3-540-49545-2_21}, interhash = {ac244d896f3432e8bea40300c14a126b}, intrahash = {79f6771f04229d3e414940b91f395d18}, isbn = {3-540-65141-1}, keywords = {dblp}, pages = {309-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:31:49.000+0200}, title = {Implicates and Reduction Techniques for Temporal Logics.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia98.html#GuzmanOV98}, volume = 1489, year = 1998 }