Ian Horrocks > _Diplomathesis Draft | BibSonomy