@inproceedings{DBLP:conf/lpnmr/LifschitzLS19, title = {Verifying Strong Equivalence of Programs in the Input Language of gringo}, author = {Lifschitz, Vladimir and L{\"{u}}hne, Patrick and Schaub, Torsten}, booktitle = {{LPNMR}}, pages = {270--283}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {11481}, year = {2019} }