Skip to content

Locality and subsumption testing in EL and some of its extensions.

Viorica Sofronie-Stokkermans

VenueBAiML
Year2008
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.