@article{proceedingsofthe4thworkshoponformal,
  title = {Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology},
  author = {Georgiana Caltais and Jean Krivine},
  year = {2019},
  eprint = {1910.13641},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1910.13641v1},
}