General Model Theoretic Semantics for Higher-Order Horn Logic Programming. - Mino Bai; Howard A. Blair (LPAR, 1992)

Formal Specification of Business Rules using Z. - Hee-Jun Yoo; Jin-Young Choi; Mino Bai (CCCT (1), 2004)

Answer Set Semantics for Prioritized Defaults Logic. - Hee-Jun Yoo; Mino Bai; Jin-Young Choi (IEICE Trans. Inf. Syst., 2004)