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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.