of Michael Leuschel

Books and proceedings

  1. M. Leuschel and A. Podelski, editors. PPDP07l, July 2007. ACM. ISBN: 978-1-59593-769-8.

Articles in journal, book chapters

  1. Philipp Körner, Michael Leuschel, Joăo Barbosa, Větor Santos Costa, Manuel V. Hermenegildo, Jose Morales, Jan Wielemaker, Giovanni Ciatto, Verónica Dahl, Daniel Diaz, and Salvador Abreu. 50 Years of Prolog and Beyond. arXiv preprint arXiv:2201.10816, 2022. Keyword(s): Prolog, logic programming systems, portability, rationale, evolution, vision.

Conference articles

  1. Sebastian Krings and Michael Leuschel. Constraint Logic Programming over Infinite Domains with an Application to Proof. In Proc. 30th Workshop on Logic Programming (WLP 2016), 2016.