John Staples Peter J. Robinson Structure Sharing for Quantified Terms: Fundamentals. 115-145 1990 6 J. Autom. Reasoning 2 db/journals/jar/jar6.html#StaplesR90