Proving functionally difficult problems through model generation.

Richard Rankin, Ralph W. Wilkerson

Browse the full SAC paper archive.