Martin Loebl, Jaroslav Nesetril. Linearity and Unprovability of Set Union Problem Strategies. In Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, 2-4 May 1988, Chicago, Illinois, USA. pages 360-366, ACM, 1988.
Abstract is missing.