Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System

@inproceedings{Barstow-Kant:ICSE76,
  author    = {David R. Barstow and
               Elaine Kant},
  title     = {Observations on the Interaction Between Coding and Efficiency Knowledge in the {PSI} Program Synthesis System},
  booktitle = {ICSE},
  pages     = {19--31},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}