Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.

Giuseppe De Giacomo, Maurizio Lenzerini

Browse the full ECAI paper archive.