Nonmonotonic Reasoning, volume 2 (1987)

by Raymond Reiter
Venue:of Annual Reviews in Computer Science