Tobias Cramer Ross D. King Stefan Kramer Andreas Maunz Bernhard Pfahringer Luc De Raedt Ashwin Srinivasan Hannu Toivonen