Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
FANDINNO, JORGE
HANSEN, ZACHARY
LIERLER, YULIYA
LIFSCHITZ, VLADIMIR
and
TEMPLE, NATHAN
2023.
External Behavior of a Logic Program and Verification of Refactoring.
Theory and Practice of Logic Programming,
Vol. 23,
Issue. 4,
p.
933.
Fandinno, Jorge
and
Lifschitz, Vladimir
2023.
Logics in Artificial Intelligence.
Vol. 14281,
Issue. ,
p.
253.
Fandinno, Jorge
Hansen, Zachary
and
Lierler, Yuliya
2023.
Proceedings 39th International Conference on Logic Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 385,
Issue. ,
p.
390.
FANDINNO, JORGE
LIFSCHITZ, VLADIMIR
and
TEMPLE, NATHAN
2024.
Locally Tight Programs.
Theory and Practice of Logic Programming,
Vol. 24,
Issue. 5,
p.
942.
Heuer, Jan
and
Wernhard, Christoph
2024.
Automated Reasoning.
Vol. 14739,
Issue. ,
p.
172.
Fandinno, Jorge
and
Lifschitz, Vladimir
2025.
Logic Programming and Nonmonotonic Reasoning.
Vol. 15245,
Issue. ,
p.
1.