Logic Programming and Knowledge Representation Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers - Moniz Pereira, Luis; Moniz Pereira, Luis; Przymusinski, Teodor C.; Przymusinski, Teodor C. (Springer Berlin Heidelberg : Imprint: Springer, 1998)