Per Sort
- A Multi-Theory Logic Programming Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
- Expressive Power of the ACLT Reaction Specification Language (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- A General Framework for Multi-Theory Logic Languages (1996) — Andrea Omicini
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
- CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini