Automatic Program Rewriting in Non-Ground Answer Set Programs. - Nicholas Hippen; Yuliya Lierler (PADL, 2019)

Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. - Nicholas Hippen; Yuliya Lierler (JELIA, 2021)

System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. - Daniel Bresnahan; Nicholas Hippen; Yuliya Lierler (Theory Pract. Log. Program., 2024)