@misc{indiciae0b5a3c52f65e,
  title = {Logical Robots: Declarative Multi-Agent Programming in Logica},
  author = {Evgeny Skvortsov and Yilin Xia and Ojaswa Garg and Shawn Bowers and Bertram Ludäscher},
  year = {2026},
  url = {https://arxiv.org/abs/2604.06629},
  note = {Source identifier: 2604.06629}
}