Skip to main content

Consequence−Based Reasoning for SHIQ

František Simančík and Andrew Bate

Institution
University of Oxford
Year
2013