Inductive Reasoning with Incomplete Specifications (Preliminary Report)

Cite this paper

@inproceedings{Kapur1986InductiveRW, title={Inductive Reasoning with Incomplete Specifications (Preliminary Report)}, author={Deepak Kapur and David R. Musser}, booktitle={LICS}, year={1986} }