Logic Programming The 1995 International Symposium - Lloyd, John (Logic Programming Ser.)