Module theorem for the general theory of stable models. - Joseph Babb; Joohyung Lee 002 (Theory Pract. Log. Program., 2012)

Cplus 2ASP: Computing Action Language ${ cal C}$ + in Answer Set Programming. - Joseph Babb; Joohyung Lee 002 (LPNMR, 2013)

Action Language BC+: Preliminary Report. - Joseph Babb; Joohyung Lee 002 (AAAI, 2015)

Online Action Language oBC +. - Joseph Babb; Joohyung Lee 002 (LPNMR, 2015)

Action language ℬℭ+. - Joseph Babb; Joohyung Lee 002 (J. Log. Comput., 2020)

Action Language BC+. - Joseph Babb; Joohyung Lee (CoRR, 2025)