Finite model reasoning on UML class diagrams via constraint programming

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini. Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale, 7(1):57-65, 2013. [doi]

Abstract

Abstract is missing.