Logical testing for rule-base management

This publication has 12 references indexed in Scilit:

• Some results and experiments in programming techniques for propositional logic
  Computers & Operations Research, 1986
• Inverting graphs of rectangular matrices
  Discrete Applied Mathematics, 1984
• A note on specialized versus unspecialized methods for maximum‐flow problems
  Naval Research Logistics Quarterly, 1984
• The Recognition of Series Parallel Digraphs
  SIAM Journal on Computing, 1982
• Maximal Closure of a Graph and Applications to Combinatorial Problems
  Management Science, 1976
• Testing for the Church-Rosser Property
  Journal of the ACM, 1974
• The Transitive Reduction of a Directed Graph
  SIAM Journal on Computing, 1972
• Notes—On a Selection Problem
  Management Science, 1970
• A Selection Problem of Shared Fixed Costs and Network Flows
  Management Science, 1970
• Topological sorting of large networks
  Communications of the ACM, 1962