Switch to: References

Citations of:

Locality and subsumption testing in EL and some of its extensions

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 315-339 (1998)

Add citations

You must login to add citations.
  1. (1 other version)Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291.
    Download  
     
    Export citation  
     
    Bookmark   1 citation