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