Automating first-order relational logic (2000)

by Daniel Jackson
Venue:In Proceedings ACM SIGSOFT Conference on Foundations of Software Engineering