uc2rpq_boundedness (114B)
1 # UC2RPQ boundedness 2 3 - [barcelo2019boundedness]: the problem is [EXPSPACE_complete] 4 5 Up: [boundedness], [UC2RPQ]