Termination of Combined (Rewrite and lambda-Calculus) Systems. - Carlos Loría-Sáenz; Joachim Steinbach (CTRS, 1992)

Synthesis of Narrowing Programs. - Carlos Loría-Sáenz (LOPSTR, 1992)

A theoretical framework for reasoning about program construction based on extensions of rewrite systems. - Carlos Loría-Sáenz (1993)

Higher Order Conditional Rewriting and Narrowing. - Jürgen Avenhaus; Carlos Loría-Sáenz (CCL, 1994)

On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. - Jürgen Avenhaus; Carlos Loría-Sáenz (LPAR, 1994)

Logicality of conditional rewrite systems. - Toshiyuki Yamada; Jürgen Avenhaus; Carlos Loría-Sáenz; Aart Middeldorp (Theor. Comput. Sci., 2000)

On Requirements for Programming Exercises from an E-learning Perspective - Carlos Loría-Sáenz (CoRR, 2009)