%0 Conference Paper %1 conf/cade/BaaderMM12 %A Baader, Franz %A Mendez, Julian %A Morawska, Barbara %B IJCAR %D 2012 %E Gramlich, Bernhard %E Miller, Dale %E Sattler, Uli %I Springer %K dblp %P 45-51 %T UEL: Unification Solver for the Description Logic ℇℒ - System Description. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#BaaderMM12 %V 7364 %@ 978-3-642-31364-6

@inproceedings{conf/cade/BaaderMM12, added-at = {2024-05-07T00:00:00.000+0200}, author = {Baader, Franz and Mendez, Julian and Morawska, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/239c8f19e68b06137f1560ba053cd0a2c/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2012}, editor = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli}, ee = {https://doi.org/10.1007/978-3-642-31365-3_6}, interhash = {d0b6dea6f2458953dea7a59e38d63864}, intrahash = {39c8f19e68b06137f1560ba053cd0a2c}, isbn = {978-3-642-31364-6}, keywords = {dblp}, pages = {45-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:38:33.000+0200}, title = {UEL: Unification Solver for the Description Logic ℇℒ - System Description.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2012.html#BaaderMM12}, volume = 7364, year = 2012 }