We gratefully acknowledge the generously support by several sponsors: the Netherlands Organisation for Scientific Research (main sponsor), the Universite de Provence, the Institute for Logic, Language and Computation (University of Amsterdam), and the Laboratoire d'Informatique Fondamentale.
|
|
|
|
|
|