1. Fixed parameter tractability and completeness IV: On completeness for W[P] and PSPACE analogues;Abrahamson,1995
2. Σ11-formulae on finite structures;Ajtái;Ann. Pure Appl. Logic,1983
3. The Probabilistic Method;Alon,1992
4. Polynomial time approximation schemes for Euclidean TSP and other geometric problems;Arora,1996
5. Proof verification and hardness of approximation problems;Arora,1992