Instantiation-based invariant discovery (2011)

by T Kahsai, Y Ge, C Tinelli
Venue:In NFM