DBLP BibTeX Record 'series/faia/2010-208'

@book{DBLP:series/faia/2010-208,
  author    = {Gian Luca Pozzato},
  title     = {Conditional and Preferential Logics: Proof Methods and Theorem
               Proving},
  publisher = {IOS Press},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {208},
  year      = {2010},
  isbn      = {978-1-60750-094-0},
  pages     = {1-200},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=14473},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}