D. Sivakumar On Membership Comparable Sets. 2-7 1998 IEEE Conference on Computational Complexity http://dlib.computer.org/conferen/coco/8395/pdf/83950002.pdf db/conf/coco/coco1998.html#Sivakumar98