Andrew Lewis: Finite cupping sets. Arch. Math. Log. 43(7): 845-858 (2004)