@inproceedings{CernaSeidlSchreinerWindsteigerBiere-CSEDU20,
  author    = {David M. Cerna and
               Martina Seidl and
               Wolfgang Schreiner and
               Wolfgang Windsteiger and
               Armin Biere},
  title     = {Computational Logic in the First Semester of Computer Science: An
               Experience Report},
  booktitle = {{CSEDU} {(2)}},
  pages     = {374--381},
  publisher = {{SCITEPRESS}},
  year      = {2020}
}