Reasoning by Cases and the Formation of Conditional Programs.

Douglas R. Smith

Browse the full IJCAI paper archive.