@misc{indiciae0eda6f331990,
  title = {Synchronous set relations in rewriting logic},
  author = {Camilo Rocha and César Muñoz},
  url = {https://ntrs.nasa.gov/citations/11971405478987},
  note = {Source identifier: 11971405478987}
}