%0 Journal Article
%B Annals of Pure and Applied Logic
%D 1986
%G eng
%P 265-280
%T Fixed-point extensions of first-order logic
%V 32