@MastersThesis {Master:Yorsh03,
	AUTHOR = "Greta Yorsh",
	Title ="Logical Characterizations of Heap Abstractions",
	School = "Tel Aviv University",
	YEAR = 2003,
	address = "Tel Aviv, Israel"
}