@misc{indiciae999e28e05983,
  title = {A Constructor-Based Reachability Logic for Rewrite Theories},
  author = {Stephen Skeirik and Andrei Stefanescu and José Meseguer},
  year = {2017},
  url = {https://arxiv.org/abs/1709.05045},
  note = {Source identifier: 1709.05045}
}