%0 Conference Paper %1 conf/cade/SutcliffeP07 %A Sutcliffe, Geoff %A Puzis, Yury %B CADE %D 2007 %E Pfenning, Frank %I Springer %K dblp %P 295-310 %T SRASS - A Semantic Relevance Axiom Selection System. %U http://dblp.uni-trier.de/db/conf/cade/cade2007.html#SutcliffeP07 %V 4603 %@ 978-3-540-73594-6

@inproceedings{conf/cade/SutcliffeP07, added-at = {2021-04-09T00:00:00.000+0200}, author = {Sutcliffe, Geoff and Puzis, Yury}, biburl = {https://www.bibsonomy.org/bibtex/21f52c07471c1a8b026fdbe72c8f463a3/dblp}, booktitle = {CADE}, crossref = {conf/cade/2007}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-540-73595-3_20}, interhash = {e0099104a9c0edf49955e8174d354304}, intrahash = {1f52c07471c1a8b026fdbe72c8f463a3}, isbn = {978-3-540-73594-6}, keywords = {dblp}, pages = {295-310}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:08:25.000+0200}, title = {SRASS - A Semantic Relevance Axiom Selection System.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2007.html#SutcliffeP07}, volume = 4603, year = 2007 }