Knowledge representation with logic programs reader - Brewka, Gerhard; Dix, Jürgen 1961- (European Summer School, 1997)