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