David M. Steier, Elaine Kant. Symbolic Execution in Algorithm Design. In IJCAI. pages 225-231, 1985.
@inproceedings{SteierK85:0, title = {Symbolic Execution in Algorithm Design}, author = {David M. Steier and Elaine Kant}, year = {1985}, tags = {design}, researchr = {https://researchr.org/publication/SteierK85%3A0}, cites = {0}, citedby = {0}, pages = {225-231}, booktitle = {IJCAI}, }