D. Basin

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Middle-out reasoning for synthesis and induction

I. Kraan and others (1996) · Journal of Automated Reasoning

Logic Program Synthesis via Proof Planning

I. Kraan and others (1993) · Springer London

An adaptation of proof-planning to declarer play in bridge

I. Frank and others (1992) · Proceedings of ECAI-92

Extracting circuits from constructive proofs

D. Basin (1991) · ACM/SIGDA Workshop on Formal Methods in VLSI Design, Miami