@misc{indiciaebe553e8af228,
  title = {Congruence based proofs of the recognizability theorems for free many-sorted algebras},
  author = {Juan Climent Vidal and Enric Cosme Llópez},
  year = {2018},
  doi = {10.1093/logcom/exz032},
  url = {https://arxiv.org/abs/1808.08217},
  note = {Source identifier: 1808.08217}
}