Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference

Published in ICLP25: International Conference on Logic Programming 2025, 2025