🇿 Kyle Marple Elmer Salazar Gopal Gupta Computing Stable Models of Normal Logic Programs Without Grounding (2017)