@article{SMT-2007-RozanovS08,
	author        = "Mirron Rozanov and Ofer Strichman",
	doi           = "10.1016/j.entcs.2008.04.077",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 2,
	pages         = "3--17",
	title         = "{Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic}",
	volume        = 198,
	year          = 2008,
}