Computational Logic in the First Semester of Computer Science: An Experience Report.

David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere

Browse the full CSEDU paper archive.