Georg Gottlob 33-42 http://www.computer.org/proceedings/ccc/7386/73860033abs.htm 1996 IEEE Conference on Computational Complexity db/conf/coco/coco96.html#Gottlob96