Affiliation: | 1ILLC, Universiteit van Amsterdam Plantage Muidergracht 24, 1018 TV Ams terdam, The Netherlands. E-mail: johan{at}fwi.uva.nl
2Dipartimento di Matematica e Informatica, Università di Udine Via delle Scienze 206, 33100 Udine, Italy. E-mail: dagostin{at}dimi.uniud.it
3ILLC, Universiteit van Amsterdam Plantage Muidergracht 24, 1018 TV Ams terdam, The Netherlands and Dipartimento di Matematica e Informatica, Università di Udine Via delle Scienze 206, 33100 Udine, Italy. E-mail: montana{at}dimi.uniud.it
4Dipartimento di Matematica e Informatica, Università di Udine Via delle Scienze 206, 33100 Udine, Italy. E-mail: policrit{at}dimi.uniud.it |