A Theory and System for NonMonotonic Reasoning (1987)

by James W Goodwin