On a Theorem of Rimhak Ree about Permutations. - Carol Tretkoff; Marvin Tretkoff (J. Comb. Theory A, 1979)

Bounded Oracles and Complexity Classes Inside Linear Space. - Carol Tretkoff (SCT, 1986)

Complexity, Combinatorial Group Theory and the Language of Palutators. - Carol Tretkoff (Theor. Comput. Sci., 1988)

Computational Complexity and Constraint Logic Programming Languages. - Jim Cox; Ken McAloon; Carol Tretkoff (Ann. Math. Artif. Intell., 1992)

2lp: Linear Programming and Logic Programming. - Ken McAloon; Carol Tretkoff (PPCP, 1993)

2lp: A Highly Parallel Constraint Logic Programming Language. - C. Atay; Ken McAloon; Carol Tretkoff (PPSC, 1993)

Distributed Programming and Disjunctive Programming. - David M. Arnow; Ken McAloon; Carol Tretkoff (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

Parallel Integer Goal Programming. - David M. Arnow; Ken McAloon; Carol Tretkoff (ACM Conference on Computer Science, 1995)

Optimization and computational logic. - Kenneth McAloon; Carol Tretkoff (Wiley, 1996)

Logic, modeling, and programming. - Ken McAloon; Carol Tretkoff (Ann. Oper. Res., 1997)

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. - Carla P. Gomes; Bart Selman; Ken McAloon; Carol Tretkoff (AIPS, 1998)