Formalisms for IIM specification

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati.
Technical report D3.1, INFOMIX Consortium, 2003.

Bibtex entry:

@Techrep{LeLR03,
author = "Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati",
title = "Formalisms for {IIM} specification",
institution = "INFOMIX Consortium",
number = "D3.1",
year = 2003,
}