TY  - RPRT
TI  - lpopt: A Rule Optimization Tool for Answer Set Programming
AU  - Manuel Bichler
AU  - Michael Morak
AU  - Stefan Woltran
PY  - 2016
UR  - https://arxiv.org/abs/1608.05675
ID  - 1608.05675
ER  -