@article{476039,
      author = {Pozzato, Gian Luca.},
      url = {http://library.usi.edu/record/476039},
      title = {Conditional and preferential logics proof methods and  theorem proving / [electronic resource] :},
      publisher = {IOS Press,},
      recid = {476039},
      pages = {viii, 200 p. :},
      address = {Amsterdam :},
      year = {2010},
}