On rules with existential variables: Walking the decidability line. (2011)

by J-F Baget, M Leclere, M-L Mugnier, E Salvat
Venue:Artificial Intelligence