Logic programming the 14th international conference - Naish, Lee (The MIT Press, 1997)