@misc{indiciae579ac7e04e89,
  title = {Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)},
  author = {Ehud Shapiro},
  year = {2026},
  url = {https://arxiv.org/abs/2601.17957},
  note = {Source identifier: 2601.17957}
}