Markus Krötzsch is a member of the Karsruhe logic & reasoning group since 2005.
<ask format="ul">Markus Krötzsch</ask>.