Home
DCC eCatalog
D.__Calvanese
On the interaction between ISA and cardinality constraints
Reasoning on regular path queries
