Thorsten Liebig, Felix Müller. Parallelizing Tableaux-Based Description Logic Reasoning. In Robert Meersman, Zahir Tari, Pilar Herrero, editors, On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal. Volume 4806 of pages 1135-1144, Springer, 2007. [doi]