1. Program completion in the input language of GRINGO*. Issue 5 (23rd August 2017) Authors: HARRISON, AMELIA; LIFSCHITZ, VLADIMIR; RAJU, DHANANJAY Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 855 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗