%0 Conference Paper %1 conf/lpnmr/LifschitzLS19 %A Lifschitz, Vladimir %A Lühne, Patrick %A Schaub, Torsten %B LPNMR %D 2019 %E Balduccini, Marcello %E Lierler, Yuliya %E Woltran, Stefan %I Springer %K dblp %P 270-283 %T Verifying Strong Equivalence of Programs in the Input Language of gringo. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#LifschitzLS19 %V 11481 %@ 978-3-030-20528-7

@inproceedings{conf/lpnmr/LifschitzLS19, added-at = {2019-05-31T00:00:00.000+0200}, author = {Lifschitz, Vladimir and Lühne, Patrick and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/206588c2846c13f7f771f6004c30bb78e/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2019}, editor = {Balduccini, Marcello and Lierler, Yuliya and Woltran, Stefan}, ee = {https://doi.org/10.1007/978-3-030-20528-7_20}, interhash = {d95742f079b2cf49ab30ef45cbd9baae}, intrahash = {06588c2846c13f7f771f6004c30bb78e}, isbn = {978-3-030-20528-7}, keywords = {dblp}, pages = {270-283}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-01T11:50:08.000+0200}, title = {Verifying Strong Equivalence of Programs in the Input Language of gringo.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2019.html#LifschitzLS19}, volume = 11481, year = 2019 }