LEA

BibTex

@article{HPS-1994,
  author={Hougardy, Stefan and Pr{\"o}mel, Hans J├╝rgen and Steger, Angelika},
  title={Probabilistically checkable proofs and their consequences for approximation algorithms},
  journal={Discrete Mathematics},
  volume={136},
  year={1994},
  pages={175-223}
}