Jean-Louis Lassez Kim Marriott Explicit Representation of Terms Defined by Counter Examples. 301-317 1987 3 J. Autom. Reasoning 3 db/journals/jar/jar3.html#LassezM87