Vol-3834⫷ Vol-3835 ⫸Vol-3836
urn:nbn:de:0074-3835-0


Vol-3835/paper18⫷Vol-3835/short1
Lukas Gerlach 0002David CarralMarkus Hecher

Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)