C. Butz og I. Moerdijk, “A Definability Theorem for First Order Logic”, BRICS, bd. 4, nr. 3, jan. 1997.