@article {Abiteboul:18 September 1995:0304-3975:101,
	author = "Abiteboul S.",
	author = "Vardi M.Y.",
	author = "Vianu V.",
	title = "Computing with infinitary logic",
	journal = "Theoretical Computer Science",
	volume = "149",
	year = "18 September 1995",
	abstract = "",
	pages = "101-128(28)",
	url = "http://www.ingentaconnect.com/content/els/03043975/1995/00000149/00000001/art00027"
	doi = "doi:10.1016/0304-3975(95)00027-T"
}