language: en

On Automatically Generating and Using Examples in a Computational Logic System @shortTitle(Generating and Using Examples )

Myung Won Kim
Technical Report #57 March 1987)

[The contents of this technical report originally appeared as the author's dissertation.]