Ian+Horrocks > _Diplomathesis Draft | BibSonomy