TY  - RPRT
TI  - Synchronous set relations in rewriting logic
AU  - Camilo Rocha
AU  - César Muñoz
UR  - https://ntrs.nasa.gov/citations/11971405478987
ID  - 11971405478987
ER  -