Damian Sobota

http://www.logic.univie.ac.at/~dsobota
Kurt Gödel Research Center
AUSTRIA