TY  - RPRT
TI  - Computing Stable Models of Normal Logic Programs Without Grounding
AU  - Kyle Marple
AU  - Elmer Salazar
AU  - Gopal Gupta
PY  - 2017
UR  - https://arxiv.org/abs/1709.00501
ID  - 1709.00501
ER  -