Meng, JiaQuigley, ClairePaulson, Lawrence C.2015-12-070890-5401http://hdl.handle.net/1885/20715Automation for interactive proof: First prototype20062015-12-07