Richard Rankin, Ralph W. Wilkerson. Proving functionally difficult problems through model generation. In Hal Berghel, Ed Deaton, George E. Hedrick, David Roach, Roger L. Wainwright, editors, Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992. pages 526-529, ACM, 1992. [doi]
Abstract is missing.