| |
| 2000 | ||
|---|---|---|
| 2 | Marta Cialdea Mayer, Andrea Orlandini, Giulio Balestreri, Carla Limongelli: A Planning Fully Based on Linear Time Logic. AIPS 2000: 347-354 | |
| 1996 | ||
| 1 | Giulio Balestreri: Term Rewriting Systems: An h-Categorical Semantic. DISCO 1996: 67-78 | |
| 1 | Carla Limongelli | [2] |
| 2 | Marta Cialdea Mayer | [2] |
| 3 | Andrea Orlandini | [2] |