On rules with existential variables: Walking the decidability line
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric SalvatVolume:
175
Year:
2011
Language:
english
Pages:
35
DOI:
10.1016/j.artint.2011.03.002
File:
PDF, 570 KB
english, 2011