Wenjin Lu Ross King Disjunctive Bottom Set and Its Computation. 610-615 2007 conf/flairs/2007 FLAIRS Conference db/conf/flairs/flairs2007.html#LuK07