@misc{indiciae03f4848081ef,
  title = {Consciousness and Automated Reasoning},
  author = {Ulrike Barthelmeß and Ulrich Furbach and Claudia Schon},
  year = {2020},
  url = {https://arxiv.org/abs/2001.09442},
  note = {Source identifier: 2001.09442}
}