Peter Padawitz. Inductive Expansion: A Calculus for Verifying and Synthesizing Functional and Logic Programs. Journal of Automated Reasoning, 7(1):27-103, 1991.
@article{Padawitz91:0,
title = {Inductive Expansion: A Calculus for Verifying and Synthesizing Functional and Logic Programs},
author = {Peter Padawitz},
year = {1991},
tags = {program verification, functional programming, logic programming, logic},
researchr = {https://researchr.org/publication/Padawitz91%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {7},
number = {1},
pages = {27-103},
}