%0 Journal Article %1 journals/tcs/AguileraGOV01 %A Aguilera, Gabriel %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %A Valverde, Agustín %D 2001 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 81-112 %T Reductions for non-clausal theorem proving. %U http://dblp.uni-trier.de/db/journals/tcs/tcs266.html#AguileraGOV01 %V 266

@article{journals/tcs/AguileraGOV01, 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/2cc15fc5bd5bf2cf0db00a769ae582ebc/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00044-X}, interhash = {b25469f6138904f8fb2034650fe4f2e1}, intrahash = {cc15fc5bd5bf2cf0db00a769ae582ebc}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {81-112}, timestamp = {2024-04-08T18:46:24.000+0200}, title = {Reductions for non-clausal theorem proving.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs266.html#AguileraGOV01}, volume = 266, year = 2001 }