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