Bibtex entry: Completeness and decidability results for a logic of contrary-to-duty conditionals in ccm.bib
@Article{Carmo2012,
  Title                    = {Completeness and decidability results for a logic of contrary-to-duty conditionals},
  Author                   = {Carmo, J.~ and Jones, A.~J.~I.~},
  Journal                  = {J.~Logic Comput.},
  Year                     = {2012},
  Pages                    = {1--42},
  Doi                      = {10.1093/logcom/exs009},
  Owner                    = {jluis},
  Timestamp                = {2012.03.29},
  Url                      = {http://ccm.uma.pt/publications/2012/Carmo2012.pdf}
}