@misc{indiciae60046f4ddafa,
  title = {MaudeTypedLog: A Typed Interpreter for Prolog in Maude},
  author = {Enrique Gallifa-Tronch and João Barbosa and Santiago Escobar},
  year = {2026},
  doi = {10.4204/eptcs.449.7},
  url = {https://arxiv.org/abs/2607.20184},
  note = {Source identifier: 2607.20184}
}