Diego Calvanese's Publications

<body text="black" bgcolor="white"> <h1>Diego Calvanese's Publications</h1> <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"> <html> <head> <meta name="generator" content= "HTML Tidy for Linux/x86 (vers 1st October 2003), see www.w3.org"> <title></title> </head> <body> ÿ </body> </html> <hr> <i>Last modified: Friday, 31-Oct-2003 20:03:12 CET</i>  </body>