Partiality, modality, and nonmonotonicity (CSLI Publ. [u.a.], 1996)