"Version Space Algebra and its Application to Programming by Demonstration."

Tessa A. Lau, Pedro M. Domingos, Daniel S. Weld (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics