Interfacing a Logic Machine

@inproceedings{Schnfeld1987InterfacingAL,
  title={Interfacing a Logic Machine},
  author={Wolfgang Sch{\"o}nfeld},
  booktitle={CSL},
  year={1987}
}