@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}
}