@InProceedings{XiangC2025,
  author = 	 {Jian Xiang and Stephen Chong},
  title = 	 {Extending Dynamic Logics with First-Class Relational Reasoning},
  year =     2025,
  booktitle =	 {The 17th NASA Formal Methods Symposium},
  number = 	 15682,
  series = 	 {Lecture Notes in Computer Science},
  month = 	 jun,
  publisher = {Springer Nature Switzerland}
}