%0 Journal Article %1 journals/soco/AguileraGOV98 %A Aguilera, Gabriel %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %A Valverde, Agustín %D 1998 %J Soft Comput. %K dblp %N 4 %P 157-166 %T Reducing signed propositional formulas. %U http://dblp.uni-trier.de/db/journals/soco/soco2.html#AguileraGOV98 %V 2

@article{journals/soco/AguileraGOV98, added-at = {2023-05-26T00:00:00.000+0200}, author = {Aguilera, Gabriel and de Guzmán, Inman P. and Ojeda-Aciego, Manuel and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/20162d49684f0d6f3da9dce6bfe3eb946/dblp}, ee = {https://doi.org/10.1007/s005000050048}, interhash = {8088eb9c44f3d45efcb1ad0abb089226}, intrahash = {0162d49684f0d6f3da9dce6bfe3eb946}, journal = {Soft Comput.}, keywords = {dblp}, number = 4, pages = {157-166}, timestamp = {2024-04-09T00:46:03.000+0200}, title = {Reducing signed propositional formulas.}, url = {http://dblp.uni-trier.de/db/journals/soco/soco2.html#AguileraGOV98}, volume = 2, year = 1998 }