Towards automating the analysis of integrity constraints in multi-level models.

Esther Guerra, Juan de Lara

Browse the full MODELS paper archive.