Logic programming languages constraints, functions, and objects (MIT Press, 1993)
Literaturverz. S. [185] - 201