@book{1721451,
	author = {Fagin},
	title = {Reasoning About Knowledge},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=6276835}
}