Anna-Lena Johansson. Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. In LOPSTR. pages 100-112, 1993.
@inproceedings{Johansson93:2, title = {Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies}, author = {Anna-Lena Johansson}, year = {1993}, tags = {incremental}, researchr = {https://researchr.org/publication/Johansson93%3A2}, cites = {0}, citedby = {0}, pages = {100-112}, booktitle = {LOPSTR}, }