Parallelizing Tableaux-Based Description Logic Reasoning

From Tetherless World Wiki

\begin{bibtex} @inproceedings{LIEBEGETAL2007PARALLELIZING, Author = {Thorsten Liebig and Felix Muller}, Booktitle = {On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops}, Date-Added = {2009-04-11 16:15:57 -0400}, Date-Modified = {2009-04-11 16:18:36 -0400}, Pages = {1135-1144}, Publisher = {Springer Berlin / Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Parallelizing Tableaux-Based Description Logic Reasoning}, Volume = {4806/2007}, Year = {2007}} \end{bibtex}