Stephen A. Fenner Frederic Green Steven Homer Alan L. Selman Thomas Thierauf Heribert Vollmer Complements of Multivalued Functions. 1999 1999 Chicago J. Theor. Comput. Sci. http://cjtcs.cs.uchicago.edu/articles/1999/3/contents.html db/journals/cjtcs/cjtcs1999.html#FennerGHSTV99