A first order nonmonotonic extension of constructive logic. (2005)

by D Pearce, A Valverde
Venue:Studia Logica,