Specifications as Search Keys for Software Libraries.

Eugene J. Rollins, Jeannette M. Wing

Browse the full ICLP paper archive.