References to, includes from, and redirects to Experiment with rule-based reasoning