1. S. A.Cook (1971) The complexity of theorem proving procedures,Proc. 3rd Ann. ACM Symp. on Theory of Computing, Association of Computing Machinery, New York, pp. 151?158.
2. M. R.Garey and D. S.Johnson (1979)Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, San Francisco.
3. M.Habib (1988) Problem 4.2, inAlgorithms and Order (ed. I.Rival), Kluwer Academic Publishers, Dordrecht.
4. R. M.Karp (1972) Reducibility among combinatorial problems, inComplexity of Computer Computations (eds. R. E.Miller and J. W.Thatcher), Plenum Press, New York, pp. 85?103.
5. H. A.Kierstead (1986) NP-Completeness results concerning greedy and super greedy linear extensions,Order 3, 123?134.