@inproceedings{DBLP:conf/birthday/LifschitzLS20,
  author = {Lifschitz, Vladimir and L{\"{u}}hne, Patrick and Schaub, Torsten},
  title = {Towards Verifying Logic Programs in the Input Language of clingo},
  booktitle = {Fields of Logic and Computation {III}},
  series = {Lecture Notes in Computer Science},
  volume = {12180},
  pages = {190--209},
  publisher = {Springer},
  year = {2020}
}