Program Synthesis in Predicate Logic

Christopher J. Hogger. Program Synthesis in Predicate Logic. In AISB/GI (ECAI). pages 138-146, 1978.

Abstract

Abstract is missing.