Representing indefinite information using abductive logic programs. - Christopher William Preist (1998)