Automating First-Order Relational Logic. (2000)

by Daniel Jackson
Venue:In Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering.