Embedding and automating conditional logics in classical higher-order logic (bibtex)
by Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
Reference:
Embedding and automating conditional logics in classical higher-order logic (Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli), In Ann. Math. Artif. Intell., volume 66, 2012.
Bibtex Entry:
@Article{Benzmuller2012,
  Title                    = {Embedding and automating conditional logics in classical higher-order logic},
  Author                   = {Christoph Benzm{\"u}ller and Dov M. Gabbay and Valerio Genovese and Daniele Rispoli},
  Journal                  = {Ann. Math. Artif. Intell.},
  Year                     = {2012},
  Number                   = {1-4},
  Pages                    = {257-271},
  Volume                   = {66},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/s10472-012-9320-z},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser