Proof-theoretic Conceptual Modeling: the NIAM Case Study.

Cristina Sernadas, Jos Luiz Fiadeiro, Robert Meersman, Amlcar Sernadas

Browse the full ISCO paper archive.