@Article{Laurent26a,
  author  = {Olivier Laurent},
  title   = {YALLA: Yet Another deep embedding of Linear Logic in {R}ocq},
  journal = {Journal of Automated Reasoning},
  volume  = {70},
  pages   = {9},
  month   = jun,
  year    = {2026},
  doi     = {10.1007/s10817-026-09755-y}
}