@conference {186,
	title = {Automatic Verification of TLA + Proof Obligations with SMT Solvers},
	booktitle = {18th Intl. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-18)},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	address = {M{\'e}rida, Venezuela},
	author = {Stephan Merz and Hern{\'a}n Vanzetto},
	editor = {Nikolaj Bj{\o}rner and Andrei Voronkov}
}