Backdoors to Normality for Disjunctive Logic Programs

Fichte, Johannes Klaus; Szeider, Stefan

doi:10.1145/2818646

by Johannes Klaus Fichte, Stefan Szeider

Reference:

Backdoors to Normality for Disjunctive Logic ProgramsJohannes Klaus Fichte, Stefan SzeiderACM Transactions on Computational Logic, volume 17, number 1, 2015.

Bibtex Entry:

@string{acmtcl="ACM Transactions on Computational Logic"}
@article{FichteSzeider15b,
  author = {Johannes Klaus Fichte and Stefan Szeider},
  title = {Backdoors to Normality for Disjunctive Logic Programs},
   journal = ACMTCL,
   year = {2015},
   number = {1},
   volume = {17},
    doi = {10.1145/2818646},
}