stoops·7 tahun yang lalu·discussI wrote a paper on this a number of years ago. Here were my primary sources:https://arxiv.org/abs/cs/0007021https://arxiv.org/abs/1203.1895I believe the second depends on the first.