Next steps in propositional Horn contraction (bibtex)
by Richard Booth, Thomas Meyer, Ivan José Varzinczak
Reference:
Next steps in propositional Horn contraction (Richard Booth, Thomas Meyer, Ivan José Varzinczak), In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (C. Boutilier, ed.), 2009. (Also presented at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009)
Bibtex Entry:
@InProceedings{Booth2009b,
  Title                    = {Next steps in propositional Horn contraction},
  Author                   = {Richard Booth and Thomas Meyer and Ivan Jos{\'{e}} Varzinczak},
  Booktitle                = {Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)},
  Year                     = {2009},
  Editor                   = {C. Boutilier},
  Note                     = {Also presented at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009},
  Pages                    = {702-707},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser