%0 Journal Article %1 journals/aicom/PeaseSST10 %A Pease, Adam %A Sutcliffe, Geoff %A Siegel, Nick %A Trac, Steven %D 2010 %J AI Commun. %K dblp %N 2-3 %P 137-144 %T Large theory reasoning with SUMO at CASC. %U http://dblp.uni-trier.de/db/journals/aicom/aicom23.html#PeaseSST10 %V 23

@article{journals/aicom/PeaseSST10, added-at = {2021-04-09T00:00:00.000+0200}, author = {Pease, Adam and Sutcliffe, Geoff and Siegel, Nick and Trac, Steven}, biburl = {https://www.bibsonomy.org/bibtex/27125bde076ea980e05067e1f04feaf90/dblp}, ee = {https://doi.org/10.3233/AIC-2010-0466}, interhash = {cf4eb6acc5b234ef255e81d16de8991a}, intrahash = {7125bde076ea980e05067e1f04feaf90}, journal = {AI Commun.}, keywords = {dblp}, number = {2-3}, pages = {137-144}, timestamp = {2024-04-08T13:15:31.000+0200}, title = {Large theory reasoning with SUMO at CASC.}, url = {http://dblp.uni-trier.de/db/journals/aicom/aicom23.html#PeaseSST10}, volume = 23, year = 2010 }