Books by UK CONFERENCE ON LOGIC PROGRAMMING 1991