TY - RPRT TI - Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization AU - Leopoldo Bertossi AU - Mostafa Milani PY - 2021 UR - https://arxiv.org/abs/2108.00903 ID - 2108.00903 ER -