Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. - P. A. Subrahmanyam; Jia-Huai You (POPL, 1984)

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. - P. A. Subrahmanyam; Jia-Huai You (SLP, 1984)

On Embedding Functions in Logic. - P. A. Subrahmanyam; Jia-Huai You (Inf. Process. Lett., 1984)

FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. - P. A. Subrahmanyam; Jia-Huai You (Logic Programming: Functions, Relations, and Equations, 1986)

E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. - Jia-Huai You; P. A. Subrahmanyam (ICALP, 1986)

Equational Logic Programming: An Extension to Equational Programming. - Jia-Huai You; P. A. Subrahmanyam (POPL, 1986)

A Class of Confluent Term Rewriting Systems and Unification. - Jia-Huai You; P. A. Subrahmanyam (J. Autom. Reason., 1986)

Solving Equations in an Equational Language. - Jia-Huai You (ALP, 1988)

Parallelism in Nonmonotonic Multiple Inheritance Systems. - Vickitt Lau; Jia-Huai You (Australian Joint Conference on Artificial Intelligence, 1988)

Outer Narrowing for Equational Theories Based on Constructors. - Jia-Huai You (ICALP, 1988)

A new intelligent backtracking scheme for Prolog: a summary of results. - Jia-Huai You; Brian Wong; Chung-Sea Law (TAI, 1989)

On the Completeness of Narrowing for E-Unification. - Jia-Huai You; P. A. Subrahmanyam (KBCS, 1989)

Supported Circumscription and Its Relation to Logic Programming with Negation. - Jia-Huai You; Liwu Li 001 (NACLP, 1989)

Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. - Jia-Huai You (J. Symb. Comput., 1989)

Discriminant Circumscription. - Li-Yan Yuan; Jia-Huai You (FSTTCS, 1990)

Finding the Shortest Path in ESMSS Network. - Zhiyong Liu; Jia-Huai You (ICPP (1), 1990)

Three-Valued Formalization of Logic Programming: Is It Needed? - Jia-Huai You; Li-Yan Yuan (PODS, 1990)

Dynamic load-balancing on a parallel inference system. - Zhiyong Liu; Jia-Huai You (SPDP, 1990)

Increasing Communication Bandwidth on Hypercube. - Zhiyong Liu; Jia-Huai You (ICCI, 1991)

A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. - Li-Yan Yuan; Jia-Huai You; Cheng Hui Wang (ICCI, 1991)

Realizing Frequently Used Permutations on Syncube. - Zhiyong Liu; Jia-Huai You (ICPP (1), 1991)

Making default inferences from logic programs. - Liwu Li 001; Jia-Huai You (Comput. Intell., 1991)

Unification Modulo an Equality Theory for Equational Logic Programming. - Jia-Huai You (J. Comput. Syst. Sci., 1991)

Conflict-Free Routing on Hypercubes. - Zhiyong Liu; Jia-Huai You; Xiaobo Li 001 (ICCI, 1992)

On storage schemes for parallel array access. - Zhiyong Liu; Xiaobo Li 001; Jia-Huai You (ICS, 1992)

The Odd-Even Expansion Storage Scheme and Its Implementation Issues. - Zhiyong Liu; Jia-Huai You; Xiaobo Li 001 (IPPS, 1992)

An Implementation of a Nonlinear Skewing Scheme. - Zhiyong Liu; Jia-Huai You (Inf. Process. Lett., 1992)

Knowledge Base Revision Using Circumscription. - Li-Yan Yuan; Jia-Huai You (DOOD, 1993)

Contradiction Resolving for Extended Logic Programs and Default Theories. - Jia-Huai You; Li-Yan Yuan (ILPS, 1993)

Autoepistemic Circumscription and Logic Programming. - Li-Yan Yuan; Jia-Huai You (J. Autom. Reason., 1993)

Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes. - Zhiyong Liu; Jia-Huai You (Parallel Comput., 1993)

Logic Programming with Assumption Denials. - Jia-Huai You; Li-Yan Yuan (NMELP, 1994)

Tractable Argumentation Semantics via Iterative Belief Revision. - Jia-Huai You; Robert Cartwright (ILPS, 1994)

A Simple but Effective Program Revision Method. - Li-Yan Yuan; Jia-Huai You (ILPS, 1994)

A Three-Valued Semantics for Deductive Databases and Logic Programs. - Jia-Huai You; Li-Yan Yuan (J. Comput. Syst. Sci., 1994)

An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. - Jia-Huai You; Suryanil Ghosh; Li-Yan Yuan; Randy Goebel (Deductive Databases / Abduction in Deductive Databases, 1995)

On the Extension of Logic Programming with Negation through Uniform Proofs. - Li-Yan Yuan; Jia-Huai You (LPNMR, 1995)

An Introspective Framework for Paraconsistent Logic Programs. - Jia-Huai You; Suryanil Ghosh; Li-Yan Yuan; Randy Goebel (ILPS, 1995)

On the Equivalence of Semantics for Normal Logic Programs. - Jia-Huai You; Li-Yan Yuan (J. Log. Program., 1995)

Circumscription by Inference Rules with Priority. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (ECAI, 1996)

Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (NMELP, 1996)

A framework for learning constraints: Preliminary report. - Srinivas Padmanabhuni; Jia-Huai You; Aditya Ghose (PRICAI Workshops, 1996)

Iterative Belief Revision in Extended Logic Programming. - Jia-Huai You; Robert Cartwright; Ming Li 001 (Theor. Comput. Sci., 1996)

Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). - Li-Yan Yuan; Jia-Huai You; Randy Goebel (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. - Jia-Huai You; Li-Yan Yuan; Randy Goebel (FSTTCS, 1997)

Disjunctive Logic Programming as Constrained Inferences. - Jia-Huai You; Xianchang Wang; Li-Yan Yuan (ICLP, 1997)

A Default Interpretation of Defeasible Network. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (IJCAI (1), 1997)

Disjunctive Logic Programming and Autoepistemic Logic. - Li-Yan Yuan; Jia-Huai You; Randy Goebel (LPKR, 1997)

On Confluence Property of Active Databases with Meta-Rules. - Xianchang Wang; Jia-Huai You; Li-Yan Yuan (Rules in Database Systems, 1997)

Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. - Jia-Huai You; Li-Yan Yuan; Randy Goebel (IJCSLP, 1998)

Coherence Approach to Logic Program Revision. - Li-Yan Yuan; Jia-Huai You (IEEE Trans. Knowl. Data Eng., 1998)

A Linear Tabling Mechanism. - Neng-Fa Zhou; Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (ICLP, 1999)

Linear Tabulated Resolutions for the Well-Founded Semantics. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You; Neng-Fa Zhou (LPNMR, 1999)

Compiling Defeasible Inheritance Networks to General Logic Programs. - Jia-Huai You; Xianchang Wang; Li-Yan Yuan (Artif. Intell., 1999)

Unfolding Partiality and Disjunctions in Stable Model Semantics. - Tomi Janhunen; Ilkka Niemelä; Patrik Simons; Jia-Huai You (KR, 2000)

Verifying Termination of General Logic Programs with Concrete Queries - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (CoRR, 2000)

An abductive approach to disjunctive logic programming. - Jia-Huai You; Li-Yan Yuan; Randy Goebel (J. Log. Program., 2000)

Implementation of a Linear Tabling Mechanism. - Neng-Fa Zhou; Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (J. Funct. Log. Program., 2001)

Loop checks for logic programs with functions. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (Theor. Comput. Sci., 2001)

Nonmonotonic Reasoning as Prioritized Argumentation. - Jia-Huai You; Xianchang Wang; Li-Yan Yuan (IEEE Trans. Knowl. Data Eng., 2001)

Linear tabulated resolution based on Prolog control strategy. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You; Neng-Fa Zhou (Theory Pract. Log. Program., 2001)

Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. - Guan-Shieng Huang; Xiumei Jia; Churn-Jung Liau; Jia-Huai You (AI, 2002)

Abduction in logic programming: A new definition and an abductive procedure based on rewriting. - Fangzhen Lin; Jia-Huai You (Artif. Intell., 2002)

SLT-Resolution for the Well-Founded Semantics. - Yi-Dong Shen; Li-Yan Yuan; Jia-Huai You (J. Autom. Reason., 2002)

On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. - Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (IJCAI, 2003)

A dynamic approach to characterizing termination of general logic programs. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan; Samuel S. P. Shen; Qiang Yang 001 (ACM Trans. Comput. Log., 2003)

Adding Domain Dependent Knowledge into Answer Set Programs for Planning. - Xiumei Jia; Jia-Huai You; Li-Yan Yuan (ICLP, 2004)

Arc-Consistency + Unit Propagation = Lookahead. - Jia-Huai You; Guiwen Hou (ICLP, 2004)

Iterated Belief Change. - Aditya K. Ghose; Pablo O. Hadjinian; Abdul Sattar 001; Jia-Huai You; Randy Goebel (Comput. Intell., 2004)

Enhancing global SLS-resolution with loop cutting and tabling mechanisms. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan (Theor. Comput. Sci., 2004)

Faster solution to the maximum quartet consistency problem with constraint programming. - Gang Wu 020; Guohui Lin; Jia-Huai You; Xiaomeng Wu (APBC, 2005)

A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. - Gang Wu 020; Jia-Huai You; Guohui Lin (CSB Workshops, 2005)

Application of Smodels in Quartet Based Phylogeny Construction. - Gang Wu 020; Jia-Huai You; Guohui Lin (LPNMR, 2005)

Lookahead in Smodels Compared to Local Consistencies in CSP. - Jia-Huai You; Guohua Liu; Li-Yan Yuan; Curtis Onuczko (LPNMR, 2005)

A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. - Gang Wu 020; Jia-Huai You; Guohui Lin (WABI, 2005)

Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops - Yi-Dong Shen; Qiang Yang 001; Jia-Huai You; Li-Yan Yuan (CoRR, 2005)

A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors. - Gang Wu 020; Jia-Huai You; Guohui Lin (Inf. Process. Lett., 2006)

Unfolding partiality and disjunctions in stable model semantics. - Tomi Janhunen; Ilkka Niemelä; Dietmar Seipel; Patrik Simons; Jia-Huai You (ACM Trans. Comput. Log., 2006)

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. - Yi-Dong Shen; Jia-Huai You (AAAI, 2007)

Adaptive Lookahead for Answer Set Computation. - Guohua Liu; Jia-Huai You (ICTAI (2), 2007)

On the Effectiveness of Looking Ahead in Search for Answer Sets. - Guohua Liu; Jia-Huai You (LPNMR, 2007)

Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. - Jia-Huai You; Li-Yan Yuan; Guohua Liu; Yi-Dong Shen (LPNMR, 2007)

Quartet-Based Phylogeny Reconstruction with Answer Set Programming. - Gang Wu 020; Jia-Huai You; Guohui Lin (IEEE ACM Trans. Comput. Biol. Bioinform., 2007)

Recycling computed answers in rewrite systems for abduction. - Fangzhen Lin; Jia-Huai You (ACM Trans. Comput. Log., 2007)

Abductive Logic Programming by Nonground Rewrite Systems. - Fangzhen Lin; Jia-Huai You (AAAI, 2008)

Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. - Jia-Huai You; Guohua Liu (AAAI, 2008)

Lparse Programs Revisited: Semantics and Representation of Aggregates. - Guohua Liu; Jia-Huai You (ICLP, 2008)

Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability. - Gang Wu 020; Ming-Yang Kao; Guohui Lin; Jia-Huai You (Algorithms Mol. Biol., 2008)

A Default Approach to Semantics of Logic Programs with Constraint Atoms. - Yi-Dong Shen; Jia-Huai You (LPNMR, 2009)

Weight Constraint Programs with Functions. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Mingyi Zhang 002 (LPNMR, 2009)

Towards an Embedded Approach to Declarative Problem Solving in ASP. - Jia-Huai You (LPNMR, 2009)

Logic Programs, Compatibility and Forward Chaining Construction. - Yisong Wang; Mingyi Zhang 002; Jia-Huai You (J. Comput. Sci. Technol., 2009)

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. - Yi-Dong Shen; Jia-Huai You; Li-Yan Yuan (Theory Pract. Log. Program., 2009)

Top-k ranking for uncertain data. - Chonghai Wang; Li-Yan Yuan; Jia-Huai You (FSKD, 2010)

Weight constraint programs with evaluable functions. - Yisong Wang; Jia-Huai You; Fangzhen Lin; Li-Yan Yuan; Mingyi Zhang 002 (Ann. Math. Artif. Intell., 2010)

Loop formulas for description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (Theory Pract. Log. Program., 2010)

Integrating Rules and Description Logics by Circumscription. - Qian Yang; Jia-Huai You; Zhiyong Feng 002 (AAAI, 2011)

Strong Equivalence of Logic Programs with Abstract Constraint Atoms. - Guohua Liu; Randy Goebel; Tomi Janhunen; Ilkka Niemelä; Jia-Huai You (LPNMR, 2011)

Compiling Answer Set Programs into Event-Driven Action Rules. - Neng-Fa Zhou; Yi-Dong Shen; Jia-Huai You (LPNMR, 2011)

On the semantics of top-k ranking for objects with uncertain data. - Chonghai Wang; Li-Yan Yuan; Jia-Huai You (Comput. Math. Appl., 2011)

Embedding Description Logic Programs into Default Logic - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Thomas Eiter (CoRR, 2011)

Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. - Guohua Liu; Jia-Huai You (Fundam. Informaticae, 2011)

On Pruning for Top-K Ranking in Uncertain Databases. - Chonghai Wang; Li-Yan Yuan; Jia-Huai You; Osmar R. Zaïane; Jian Pei 001 (Proc. VLDB Endow., 2011)

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. - Yisong Wang; Fangzhen Lin; Mingyi Zhang 002; Jia-Huai You (AAAI, 2012)

Well-Supported Semantics for Logic Programs with Generalized Rules. - Jia-Huai You; Yi-Dong Shen; Kewen Wang 001 (Correct Reasoning, 2012)

Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. - Jia-Huai You; John Morris; Yi Bi (ICLP (Technical Communications), 2012)

SAT with Global Constraints. - Md. Solimul Chowdhury; Jia-Huai You (ICTAI, 2012)

The loop formula based semantics of description logic programs. - Yisong Wang; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen; Mingyi Zhang 002 (Theor. Comput. Sci., 2012)

Embedding Functions into Disjunctive Logic Programs. - Yisong Wang; Jia-Huai You; Mingyi Zhang 002 (ICTAC, 2013)

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. - Yisong Wang; Thomas Eiter; Jia-Huai You; Li-Yan Yuan; Yi-Dong Shen (RR, 2013)

Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. - Jianmin Ji; Fangzhen Lin; Jia-Huai You (Theory Pract. Log. Program., 2013)

Relating weight constraint and aggregate programs: Semantics and representation. - Guohua Liu; Jia-Huai You (Theory Pract. Log. Program., 2013)

Disjunctive logic programs with existential quantification in rule heads. - Jia-Huai You; Heng Zhang 006; Yan Zhang 003 (Theory Pract. Log. Program., 2013)

BASIC: An alternative to BASE for large-scale data management system. - Lengdong Wu; Li-Yan Yuan; Jia-Huai You (IEEE BigData, 2014)

Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. - Li-Yan Yuan; Lengdong Wu; Jia-Huai You; Yan Chi (CIKM, 2014)

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. - Md. Solimul Chowdhury; Fangfang Liu; Wu Chen; Arash Karimi; Jia-Huai You (LOPSTR, 2014)

A Generalization of Approximation Fixpoint Theory and Application. - Yi Bi; Jia-Huai You; Zhiyong Feng 002 (RR, 2014)

A Well-Founded Semantics for FOL-Programs. - Yi Bi; Jia-Huai You; Zhiyong Feng 002 (CoRR, 2014)

Existential Rule Languages with Finite Chase: Complexity and Expressiveness. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You (AAAI, 2015)

On Forgetting Postulates in Answer Set Programming. - Jianmin Ji; Jia-Huai You; Yisong Wang (IJCAI, 2015)

A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications. - Li-Yan Yuan; Lengdong Wu; Jia-Huai You; Yan Chi (SIGMOD Conference, 2015)

Survey of Large-Scale Data Management Systems for Big Data Applications. - Lengdong Wu; Li-Yan Yuan; Jia-Huai You (J. Comput. Sci. Technol., 2015)

Flexible Approximators for Approximating Fixpoint Theory. - Fangfang Liu; Yi Bi; Md. Solimul Chowdhury; Jia-Huai You; Zhiyong Feng 002 (Canadian AI, 2016)

Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You (IJCAI, 2016)

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. - Arash Karimi; Heng Zhang 006; Jia-Huai You (Description Logics, 2017)

Three-valued semantics for hybrid MKNF knowledge bases revisited. - Fangfang Liu; Jia-Huai You (Artif. Intell., 2017)

Well-founded operators for normal hybrid MKNF knowledge bases. - Jianmin Ji; Fangfang Liu; Jia-Huai You (Theory Pract. Log. Program., 2017)

Preliminary Results on Exploration-Driven Satisfiability Solving. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (AAAI, 2018)

Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract). - Fangfang Liu; Jia-Huai You (IJCAI, 2018)

Restricted Chase Termination: A Hierarchical Approach and Experimentation. - Arash Karimi; Heng Zhang 006; Jia-Huai You (RuleML+RR, 2018)

Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (CP, 2019)

Characterization of Glue Variables in CDCL SAT Solving. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (CoRR, 2019)

Mutex Graphs and Multicliques: Reducing Grounding Size for Planning. - David Spies; Jia-Huai You; Ryan Hayward (ICLP Technical Communications, 2019)

Domain-Independent Cost-Optimal Planning in ASP. - David Spies; Jia-Huai You; Ryan Hayward (Theory Pract. Log. Program., 2019)

Towards Universal Languages for Tractable Ontology Mediated Query Answering. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You; Zhiyong Feng 002; Guifei Jiang (AAAI, 2020)

Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (AAAI, 2020)

Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies. - Arash Karimi; Jia-Huai You (RuleML+RR, 2020)

Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. - Spencer Killen; Jia-Huai You (ICLP Workshops, 2021)

Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. - Spencer Killen; Jia-Huai You (KR, 2021)

A Deep Dive into Conflict Generating Decisions. - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (CoRR, 2021)

Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions. - Yi Huang 026; Yisong Wang; Jia-Huai You; Mingyi Zhang 002; Ying Zhang (New Gener. Comput., 2021)

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. - Arash Karimi; Heng Zhang 006; Jia-Huai You (Theory Pract. Log. Program., 2021)

A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases. - Spencer Killen; Jia-Huai You (ICLP Technical Communications / Doctoral Consortium, 2022)

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. - Fangfang Liu; Jia-Huai You (Theory Pract. Log. Program., 2022)

Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. - Spencer Killen; Wenkai Gao 002; Jia-Huai You (ICLP Workshops, 2023)

Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems. - Spencer Killen; Jia-Huai You (CoRR, 2023)

Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning. - Spencer Killen; Jia-Huai You (ICLP Workshops, 2024)

Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). - Md. Solimul Chowdhury; Martin Müller 003; Jia-Huai You (SOCS, 2024)

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases. - Riley Kinahan; Spencer Killen; Kevin Wan; Jia-Huai You (Theory Pract. Log. Program., 2024)

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships. - Spencer Killen; Jia-Huai You; Jesse Heyninck (AAAI, 2025)