TY  - RPRT
TI  - Sketched Answer Set Programming
AU  - Sergey Paramonov
AU  - Christian Bessiere
AU  - Anton Dries
AU  - Luc De Raedt
PY  - 2018
UR  - https://arxiv.org/abs/1705.07429
ID  - 1705.07429
ER  -