Ameen, S.; Lelis, L. H. S. Program Synthesis With Best-First Bottom-Up Search (Abstract Reprint). AAAI 2024, 38, 22691-22691.