Clark Barrett's group at Stanford (previously NYU) is a leader here.