Christopher J. Hogger. Program Synthesis in Predicate Logic. In AISB/GI (ECAI). pages 138-146, 1978.
@inproceedings{Hogger78,
title = {Program Synthesis in Predicate Logic},
author = {Christopher J. Hogger},
year = {1978},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/Hogger78},
cites = {0},
citedby = {0},
pages = {138-146},
booktitle = {AISB/GI (ECAI)},
}