Bounded satisfiability checking of FOL∗ formulas with aggregations. - Feng, Nick; Marsso, Lina; Kholodetska, Yuliia; Chechik, Marsha (Formal Methods in System Design, 2025)