A general framework for priority arguments (1995)

by S Lempp, M Lerman
Venue:The Bulletin of Symbolic Logic