External Behavior of a Logic Program and Verification of Refactoring. - Jorge Fandinno; Zachary Hansen; Yuliya Lierler; Vladimir Lifschitz; Nathan Temple (Theory Pract. Log. Program., 2023)

Locally Tight Programs. - Jorge Fandinno; Vladimir Lifschitz; Nathan Temple (Theory Pract. Log. Program., 2024)