@book{93680,
	author = {Symposium on Logic in Computer Science and IEEE Computer Society.},
	title = {Proceedings :},
	publisher = {IEEE Computer Society Press,},
	year = {1986},
	address = {Washington :}
}