A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems.
Software Agents: Completing Patterns and Constructing User Interfaces.
Dynamic Backtracking.
An Empirical Analysis of Search in GSAT.
Decidable Reasoning in Terminological Knowledge Representation Systems.
The Difficulties of Learning Logic Programs with Cut.