A Proof Theory for Description Logics

Authors:

ISBN: 978-1-4471-4001-6 (Print) 978-1-4471-4002-3 (Online)