1988, "Alphabetical order," "Notre Dame Journal of Formal Logic 29": 214-215.