116
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...