@PhdThesis {PhD:Yorsh07,
	AUTHOR = "Greta Yorsh",
	Title ="Employing decision procedures for verification of heap-manipulating programs",
	School = "Tel Aviv University",
	YEAR = 2007,
	address = "Tel Aviv, Israel"
}