Jean-Louis Lassez, Kim Marriott. Explicit Representation of Terms Defined by Counter Examples. In Kesav V. Nori, editor, Foundations of Software Technology and Theoretical Computer Science, Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings. Volume 241 of Lecture Notes in Computer Science, pages 96-107, Springer, 1986.
Abstract is missing.