Wan, H.; Xiao, G.; Wang, C.; Liu, X.; Chen, J.; Wang, Z. Query Answering With Guarded Existential Rules under Stable Model Semantics. AAAI 2020, 34, 3017-3024.