TY - RPRT TI - Transpiling Programmable Computable Functions to Answer Set Programs AU - Ingmar Dasseville AU - Marc Denecker PY - 2018 UR - https://arxiv.org/abs/1808.07770 ID - 1808.07770 ER -