S.  Hölldobler, Bader, S., Fronhöfer, B., Hans, U., Hitzler, P., Krötzsch, M., and Pietzsch, T., Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. Heidelberg, Germany: Synchron Verlag, 2011.