Restricted default theories: Expressive power and outlier detection tasks

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli. Restricted default theories: Expressive power and outlier detection tasks. Theoretical Computer Science, 564:107-130, 2015. [doi]

@article{AngiulliBP15,
  title = {Restricted default theories: Expressive power and outlier detection tasks},
  author = {Fabrizio Angiulli and Rachel Ben-Eliyahu-Zohary and Luigi Palopoli},
  year = {2015},
  doi = {10.1016/j.tcs.2014.11.010},
  url = {http://dx.doi.org/10.1016/j.tcs.2014.11.010},
  researchr = {https://researchr.org/publication/AngiulliBP15},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {564},
  pages = {107-130},
}