homepages/k/WKuchlin, Wolfgang Küchlin, Home Page, http://www.uni-tuebingen.de/fakultaeten/mathematisch-naturwissenschaftliche-fakultaet/fachbereiche/informatik/lehrstuehle/symbolisches-rechnen/arbeitsbereich/prof-wolfgang-kuechlin.html, University of Tübingen, Germany