The ALF System

@inproceedings{Hanus1991TheAS,
  title={The ALF System},
  author={Michael Hanus},
  booktitle={PLILP},
  year={1991}
}