 The Stable Model Semantics for Higher-Order Logic ProgrammingTheory and Practice of Logic Programming (TPLP), 2024 |
 |
 Non-Deterministic Approximation Fixpoint Theory and Its Application in
Disjunctive Logic ProgrammingArtificial Intelligence (AI), 2022 |
