Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. - Piero P. Bonissone; David A. Cyrluk; James W. Goodwin; Jonathan Stillman (UAI, 1989)

Proof methodologies for processor verification. - David A. Cyrluk (2003)

Uncertainty and Incompleteness - Piero P. Bonissone; David A. Cyrluk; James W. Goodwin; Jonathan Stillman (CoRR, 2013)