Finite Groundings for ASP with Functions: A Journey through Consistency

LRMRe-assign community