@misc{indiciaeca9a0527eac7,
  title = {Declarative Programming for Microcontrollers -- Datalog on Arduino},
  author = {Mario Wenzel and Stefan Brass},
  year = {2019},
  url = {https://arxiv.org/abs/1909.00043},
  note = {Source identifier: 1909.00043}
}