Aslaniand Haarslev. Towards Parallel Classifcation of Tboxes. 2008.