@misc{indiciae4dd7a2aaa072,
  title = {Elementary Deduction Problem for Locally Stable Theories with Normal Forms},
  author = {Mauricio Ayala-Rincón and Maribel Fernández and Daniele Nantes-Sobrinho},
  year = {2013},
  doi = {10.4204/eptcs.113.7},
  url = {https://arxiv.org/abs/1303.7328},
  note = {Source identifier: 1303.7328}
}