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]
No references recorded for this publication.
No citations of this publication recorded.