Contact
Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz, Austria
Email: kutsia@risc.jku.at
WWW: https://www.risc.jku.at/people/tkutsia/
Cleo Pau
Research Institute for Symbolic Computation
Johannes Kepler University Linz, Austria
Email: ipau@risc.jku.at
WWW: http://www.risc.jku.at/home/ipau/