@misc{indiciae521cc857eea5,
  title = {User Support for the Combinator Logic Synthesizer Framework},
  author = {Jan Bessai and Anna Vasileva},
  year = {2018},
  doi = {10.4204/eptcs.284.2},
  url = {https://arxiv.org/abs/1811.10815},
  note = {Source identifier: 1811.10815}
}