"Using Version Spaces to Support Incremental Searches in a Software Library."

Yu Chung Wong (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics