Craig Arthur Damon;Jeannette Wing;Daniel Jackson
-;-;-
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications