@inproceedings{VLDB-1985-SheardS,
	author        = "Tim Sheard and David W. Stemple",
	booktitle     = "{Proceedings of the 11th International Conference on Very Large Data Bases}",
	ee            = "http://www.vldb.org/conf/1985/P426.PDF",
	pages         = "426--435",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Coping with Complexity in Automated Reasoning about Database Systems}",
	year          = 1985,
}