| |
| 2002 | ||
|---|---|---|
| 3 | EE | Paolo Mascellani, Dino Pedreschi: The Declarative Side of Magic. Computational Logic: Logic Programming and Beyond 2002: 83-108 |
| 2001 | ||
| 2 | Paolo Mascellani, Pier Daniele Napoletani: MauroTeX - A Language for Electronic Critical Editions. ICHIM (2) 2001: 223-241 | |
| 1994 | ||
| 1 | Paolo Mascellani, Dino Pedreschi: Proving termination of Prolog programs. GULP-PRODE (1) 1994: 46-61 | |
| 1 | Pier Daniele Napoletani | [2] |
| 2 | Dino Pedreschi | [1] [3] |