reasoning complexity

3 papers