Paolo Bouquet is associate professor of computer science at the University of Trento, Italy.
Luciano Serafini works at the Institute for Scientific and Technological Research, Trento, Italy.
Richmond H. Thomason is yhe Nelson Professor of Philosophy at the University of Michigan.
