TY - RPRT TI - Functional Answer Set Programming AU - Pedro Cabalar PY - 2010 UR - https://arxiv.org/abs/1006.3678 ID - 1006.3678 ER -