An Experiment with "Edinburgh LCF"

@inproceedings{Leszczylowski1980AnEW,
  title={An Experiment with "Edinburgh LCF"},
  author={Jacek Leszczylowski},
  booktitle={CADE},
  year={1980}
}