Prepositional Phrase Attachment Problem Revisited: how Verbnet can Help. - Daniel Bailey; Yuliya Lierler; Benjamin Susman (IWCS, 2015)

SMT-Based Constraint Answer Set Solver EZSMT (System Description). - Benjamin Susman; Yuliya Lierler (ICLP (Technical Communications), 2016)

Constraint Answer Set Programming versus Satisfiability Modulo Theories. - Yuliya Lierler; Benjamin Susman (IJCAI, 2016)

On relation between constraint answer set programming and satisfiability modulo theories. - Yuliya Lierler; Benjamin Susman (Theory Pract. Log. Program., 2017)