TY - BOOK AU - Besnard, P TI - An introduction to default logics N1 - D6,8(B) M910 ER -