@inproceedings{TEMP:dc/lpnmr/Luehne17,
  title = {Discovering and Proving Invariants in Answer Set Programming and Planning},
  author = {L{\"{u}}hne, Patrick},
  booktitle = {DC@LPNMR},
  pages = {17--21},
  year = {2017}
}