[FOM] Handling quantifiers in refutation theorem provers

[Clemson Steve]

Would someone please point me to a review of the approaches to
handling quantifiers in intuitionistic theorem provers? Also, what other 
issues await in other systems of logic when writing such a system.?

-- 
Dr. D. E. Stevenson
Associate Professor
Director, Institute for Modeling and Simulation Applications
School of Computing, Clemson University