Inductive Reasoning with Incomplete Specifications (Preliminary Report)

Deepak Kapur, David R. Musser

Browse the full LICS paper archive.