Knowledge Processing and Information Systems Discovering and Proving Invariants in Answer Set Programming and Planning
@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}
}