Eike Best Christian Lengauer Semantic Independence. 23-50 1989 13 Sci. Comput. Program. 1 db/journals/scp/scp13.html#BestL89