List concatenation via extended unification

@inproceedings{Fribourg1987ListCV,
  title={List concatenation via extended unification},
  author={Laurent Fribourg},
  booktitle={SPLT},
  year={1987}
}