%0 Journal Article %1 journals/jancl/AguileraGO95 %A Aguilera, Gabriel %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %D 1995 %J J. Appl. Non Class. Logics %K dblp %N 1 %P 9-29 %T Increasing the efficiency of automated theorem proving. %U http://dblp.uni-trier.de/db/journals/jancl/jancl5.html#AguileraGO95 %V 5

@article{journals/jancl/AguileraGO95, added-at = {2023-05-26T00:00:00.000+0200}, author = {Aguilera, Gabriel and de Guzmán, Inman P. and Ojeda-Aciego, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/293c8e2e54cc7519b0c0482a9cd84530d/dblp}, ee = {https://doi.org/10.1080/11663081.1995.10510841}, interhash = {67d714068c59f1ff6a192ed03a2038b0}, intrahash = {93c8e2e54cc7519b0c0482a9cd84530d}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = 1, pages = {9-29}, timestamp = {2024-04-09T00:40:13.000+0200}, title = {Increasing the efficiency of automated theorem proving.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl5.html#AguileraGO95}, volume = 5, year = 1995 }