@TechReport{CDMTCS541,
	author = "I. Litvinenko, Z. Wei and S. Link", 	 
	title = "Automated Reasoning about the Entity Integrity of Big Data in Possibilistic SQL",
	institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
	type = "Report {CDMTCS}-541",
	month = jan, 
	year = 2020,
	url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=747", 
	updated = "BibTex database updated Sat Apr 27 7:15:50 2024 NZST", 
}