Deductive database languages: Problems and solutions
The Oz Programming Model