Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers - Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski ((Lecture Notes in Computer Science))