Program completion in the input language of GRINGO

Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju. Program completion in the input language of GRINGO. TPLP, 17(5-6):855-871, 2017. [doi]

Authors

Amelia Harrison

This author has not been identified. Look up 'Amelia Harrison' in Google

Vladimir Lifschitz

This author has not been identified. Look up 'Vladimir Lifschitz' in Google

Dhananjay Raju

This author has not been identified. Look up 'Dhananjay Raju' in Google