@Inproceedings{EPTCS364.36,
  author    = {Hansen, Zach},
  year      = {2022},
  title     = {Tools and Methodologies for Verifying Answer Set Programs},
  editor    = {Lierler, Yuliya and Morales, Jose F. and Dodaro, Carmine and Dahl, Veronica and Gebser, Martin and Tekle, Tuncay},
  booktitle = {{\rm Proceedings 38th International Conference on}
               Logic Programming,
               {\rm Haifa, Israel, 31st July 2022 - 6th August 2022}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {364},
  publisher = {Open Publishing Association},
  pages     = {211-216},
  doi       = {10.4204/EPTCS.364.36},
}