Combining First-Order Logic and Logic Programming Using Fol-programs Felderer, Michael Heftet / 2008 / Engelsk
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations Felderer, Michael Heftet / 2021 / Engelsk
