Reasoning from incomplete knowledge in a procedural deductive system

Open in new window