"Inductive Reasoning with Incomplete Specifications (Preliminary Report)"

Deepak Kapur, David R. Musser (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics