Defaults and the Frame Law Applied to Over-Constrained Problems in Constraint-Based Design Systems. - David E. Leasure; Carlos Araya (IEA/AIE, 1994)

Temporal Reasoning with the Modal Logic Z. - David E. Leasure (Comput. Intell., 1996)

How Competency-Based Education Can Fulfill the Promise of Educational Technology. - Sally M. Johnstone; David E. Leasure (HCI (9), 2015)