Finitary Open Logic Program

P. Bonatti
ASp
Abstract:
What problem does this paper attempt to address?