Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers - Dix, J. (Jürgen), 1961-; Pereira, Luís Moniz; Przymusinski, Teodor C., 1947- (Springer, 1998)