José L. Balcázar Uwe Schöning Bi-Immune Sets for Complexity Classes. 1-10 1985 18 Mathematical Systems Theory 1 db/journals/mst/mst18.html#BalcazarS85