@inproceedings{BrSc08a,
  key         ={BrSc08a},
  author      ={J. Brandt and K. Schneider},
  title       ={Formal Reasoning About Causality Analysis},
  booktitle   ={Theorem Proving in Higher Order Logic (TPHOL)},
  address     ={Montreal, Canada},
  editor      ={O. Ait Mohamed and C. Muñoz and S. Tahar},
  publisher   ={Springer},
  series      ={LNCS},
  volume      ={5170},
  pages       ={118-133},
  year        ={2008},
  remark      ={rsg}
}