%0 Conference Paper %1 conf/aisc/McCune06 %A McCune, William %B AISC %D 2006 %E Calmet, Jacques %E Ida, Tetsuo %E Wang, Dongming %I Springer %K dblp %P 18-24 %T Semantic Guidance for Saturation Provers. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2006.html#McCune06 %V 4120 %@ 3-540-39728-0

@inproceedings{conf/aisc/McCune06, added-at = {2017-05-19T00:00:00.000+0200}, author = {McCune, William}, biburl = {https://www.bibsonomy.org/bibtex/2cac6eeaea341e1a2651ef35fc70b2ace/dblp}, booktitle = {AISC}, crossref = {conf/aisc/2006}, editor = {Calmet, Jacques and Ida, Tetsuo and Wang, Dongming}, ee = {https://doi.org/10.1007/11856290_4}, interhash = {f5a5ceef1f7601ee47f8defaf4120477}, intrahash = {cac6eeaea341e1a2651ef35fc70b2ace}, isbn = {3-540-39728-0}, keywords = {dblp}, pages = {18-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-21T11:40:23.000+0100}, title = {Semantic Guidance for Saturation Provers.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2006.html#McCune06}, volume = 4120, year = 2006 }