Vladimir Lifschitz, Patrick Lühne, Torsten Schaub. Towards Verifying Logic Programs in the Input Language of clingo. In Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner, editors, Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Volume 12180 of Lecture Notes in Computer Science, pages 190-209, Springer, 2020. [doi]
@inproceedings{LifschitzLS20,
title = {Towards Verifying Logic Programs in the Input Language of clingo},
author = {Vladimir Lifschitz and Patrick Lühne and Torsten Schaub},
year = {2020},
doi = {10.1007/978-3-030-48006-6_14},
url = {https://doi.org/10.1007/978-3-030-48006-6_14},
researchr = {https://researchr.org/publication/LifschitzLS20},
cites = {0},
citedby = {0},
pages = {190-209},
booktitle = {Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday},
editor = {Andreas Blass and Patrick Cégielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner},
volume = {12180},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-48006-6},
}