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