Using Hundreds of Workstations to Solve First-Order Logic Problems. - Alberto Maria Segre; David B. Sturgill (AAAI, 1994)

A Novel Asynchronous Parallelism Scheme for First-Order Logic. - David B. Sturgill; Alberto Maria Segre (CADE, 1994)

Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. - David B. Sturgill; Alberto Maria Segre (J. Autom. Reason., 1997)

Secure group communications for Delay-Tolerant Networks. - Paul T. Edelman; Michael J. Donahoo; David B. Sturgill (ICITST, 2010)