Publications
2025
Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte
(2025)
Theory and Practice of Logic Programming
(Article in journal)
Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes Klaus Fichte
(2025)
Proceedings of the 41st International Conference on Logic Programming (ICLP'25)
(Conference paper)