@inproceedings{PLDI-2016-SousaD,
	author        = "Marcelo Sousa and Isil Dillig",
	booktitle     = "{Proceedings of the 37th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/2908080.2908092",
	isbn          = "978-1-4503-4261-2",
	pages         = "57--69",
	publisher     = "{ACM}",
	title         = "{Cartesian hoare logic for verifying k-safety properties}",
	year          = 2016,
}