Y. Wang, F. Lin, M. Zhang, and J.-H. You, “A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms”, AAAI, vol. 26, no. 1, pp. 835-841, Sep. 2021.