%0 Conference Paper %1 conf/fois/AthanSP14 %A Athan, Tara %A Schäfermeier, Ralph %A Paschke, Adrian %B WoMO@FOIS %D 2014 %E Baclawski, Kenneth %E Groza, Tudor %E Hahmann, Torsten %E Varzinczak, Ivan José %I CEUR-WS.org %K %T An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven. %U http://dblp.uni-trier.de/db/conf/fois/womo2014.html#AthanSP14 %V 1248

@inproceedings{conf/fois/AthanSP14, added-at = {2023-12-13T10:37:56.000+0100}, author = {Athan, Tara and Schäfermeier, Ralph and Paschke, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/2cc8ff5514ef14a882700259e18e6a375/admin}, booktitle = {WoMO@FOIS}, crossref = {conf/fois/2014womo}, editor = {Baclawski, Kenneth and Groza, Tudor and Hahmann, Torsten and Varzinczak, Ivan José}, ee = {http://ceur-ws.org/Vol-1248/WoMO14-Paper5.pdf}, interhash = {d95f87649a784b6d181b64cfa9946e9e}, intrahash = {cc8ff5514ef14a882700259e18e6a375}, keywords = {}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-13T10:37:56.000+0100}, title = {An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven.}, url = {http://dblp.uni-trier.de/db/conf/fois/womo2014.html#AthanSP14}, volume = 1248, year = 2014 }