Efficient local search with conflict minimization: a case study of the n-queens problem
Complexity measures for rule-based programs
RAPS: a rule-based language for specifying resource allocation and time-tabling problems
Toward systematic construction of diagnostic systems for large industrial plants: methods, languages, and tools
An efficient indefiniteness inference scheme in indefinite deductive databases
A study on the structure of linear recursion
A structured approach for cooperative query answering
Parallel hash-based join algorithms for a shared-everything environment
Performance analysis of affinity clustering on transaction processing coupling architecture
Explicit graphs in a functional model for spatial databases
The performance of protocols based on locks with ordered sharing
A space-and-time-efficient coding algorithm for lattice computations
Order structure of symbolic assertion objects
Materialization [database design]
Efficient query processing for a subset of linear recursive binary rules