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

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