Reasoning in Logic about Continuous Systems. - Benjamin Kuipers; Benjamin Shults (KR, 1994)

A Framework for Using Knowledge in Tableau Proofs. - Benjamin Shults (TABLEAUX, 1997)

Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. - Benjamin Shults; Benjamin Kuipers (Artif. Intell., 1997)

Identifying an appropriate view of software components for undergraduate education. - Allen S. Parrish; Joe Hollingsworth; Peter M. Maurer; Benjamin Shults; Bruce W. Weide (SIGCSE, 2001)