Shiguang Feng: The Expressive Power of Revised Datalog on Problems with Closure Properties. LORI 2023: 109-125