The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis (1996)

by J-M Andreoli, U M Borghoff, R Pareschi
Venue:J. Symbolic Computation