Logic programming the 1995 international symposium - Lloyd, John W. (The MIT Press, 1995)