Automating first-order relational logic (2000)

by D Jackson
Venue:In SIGSOFT FSE