Logic Programming The 1997 International Symposium - Maluszynski, Jan (Logic Programming Ser.)