Modeling simultaneous events with default reasoning and tight derivations (1990)

by A Van Gelder
Venue:Journal of Logic Programming