@mscthesis{fmmsc,
 author		=	"Fiona McNeill",
 title		=	"On the Use of Dependency Tracking in Theorem Proving",
 school		=	"Division of Informatics, University of Edinburgh",
 year		=	2000}