Wang, Y.; Lin, F.; Zhang, M.; You, J.-H. A Well-Founded Semantics for Basic Logic Programs With Arbitrary Abstract Constraint Atoms. AAAI 2021, 26, 835-841.