TY - RPRT TI - Constraint Answer Set Programming without Grounding AU - JoaquĆ­n Arias AU - Manuel Carro AU - Elmer Salazar AU - Kyle Marple AU - Gopal Gupta PY - 2018 UR - https://arxiv.org/abs/1804.11162 ID - 1804.11162 ER -