Switch to: Citations

Add references

You must login to add references.
  1. Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation.Alan Bundy & Bob Welham - 1981 - Artificial Intelligence 16 (2):189-211.
    Download  
     
    Export citation  
     
    Bookmark   6 citations