On the Complexity of Models of Arithmetic. - Kenneth McAloon (J. Symb. Log., 1982)

Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic. - Peter Clote; Kenneth McAloon (J. Symb. Log., 1983)

Petri Nets and Large Finite Sets. - Ken McAloon (Theor. Comput. Sci., 1984)

Separation Results for Bounded Alternation. - Ken McAloon (SCT, 1986)

Stratification and Knowledge Based Management. - Catherine Lassez; Ken McAloon; Graeme S. Port (ICLP, 1987)

Stratified Interactive Knowledge Bases. - Catherine Lassez; Ken McAloon (ISMIS, 1987)

On Gödel incompleteness and finite combinatorics. - Akihiro Kanamori; Kenneth McAloon (Ann. Pure Appl. Log., 1987)

Constraint Logic Programming and Option Trading. - Catherine Lassez; Ken McAloon; Roland H. C. Yap (IEEE Expert, 1987)

Applications of a Canonical Form of Gerneralized Linear Constraints. - Jean-Louis Lassez; Ken McAloon (FGCS, 1988)

Efficient Parallel Algorithms for Anti-Unification and Relative Complement - Gabriel M. Kuper; Ken McAloon; Krishna V. Palem; Kenneth J. Perry (LICS, 1988)

Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. - Nicolas D. Goodman; Harold T. Hodes; Carl G. Jockusch Jr.; Kenneth McAloon (J. Symb. Log., 1988)

Simplification and Elimination of Redundant Linear Arithmetic Constraints. - Jean-Louis Lassez; Tien Huynh; Ken McAloon (NACLP, 1989)

Independence of Negative Constraints. - Jean-Louis Lassez; Ken McAloon (TAPSOFT, Vol.1, 1989)

Stratification and Knowledge Base Management. - Catherine Lassez; Ken McAloon; Graeme S. Port (J. Symb. Comput., 1989)

A Constraint Sequent Calculus - Jean-Louis Lassez; Ken McAloon (LICS, 1990)

Decision Procedures for Constraint Based Extensions of Datalog. - Jim Cox; Ken McAloon (WCLP, 1991)

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

A Note on the Parallel Complexity of Anti-Unification. - Gabriel M. Kuper; Ken McAloon; Krishna V. Palem; Kenneth J. Perry (J. Autom. Reason., 1992)

A Canonical Form for Generalized Linear Constraints. - Jean-Louis Lassez; Ken McAloon (J. Symb. Comput., 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)

Constraint-Based Programming. - Ken McAloon (ACM Comput. Surv., 1996)

Anticipatory pruning networks and forward checking in CLP over continuous domains. - Geun Sik Jo; Ken McAloon (Decis. Support Syst., 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)

Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. - Ken McAloon (IJCSLP, 1998)