Moon-Jung Chung, Bala Ravikumar. Strong nondeterministic reduction - a technique for proving intractability. In Proceedings of the Second Annual Conference on Structure in Complexity Theory, Cornell University, Ithaca, New York, USA, June 16-19, 1987. pages 132-137, IEEE Computer Society, 1987.
Abstract is missing.