Jonathan Schilhan

http://www.logic.univie.ac.at/~jschilhan/
KGRC, University of Vienna
AUSTRIA