Glenn Davis: Computing separating planes for pairs of disjoint polytopes. SCG 1985: 8-14