A knowledge representation model for multiuser knowledge-based systems
Logical organization of knowledge with inconsistent and undecidable algorithms using imaginary and transfinite exponential number forms in a non-Boolean field-I. Basic principles
Evaluating performance and quality of knowledge-based systems: foundation and methodology
Parsing electronic circuits in a logic grammar
Coupling production systems and database systems: a homogeneous approach
Garbage collection in a distributed object-oriented system
Fast in-place verification of data dependencies
A possible world semantics for disjunctive databases
Incomplete relational database models based on intervals
Obtaining coteries that optimize the availability of replicated databases
Multiprocessor join scheduling
An efficient algorithm for matching multiple patterns
Ancestor controlled submodule inclusion in design databases
Representing inference control by hypothesis-based association