A Prescribed Cut for Prolog that Ensures Soundness. - H. Albert Lilly; Barrett R. Bryant (J. Log. Program., 1992)

The Use of Cellular Automata in the Classroom. - H. Albert Lilly (SC, 1995)