@article{DBLP:journals/jsyml/AczelPWWY86,
author = {Peter Aczel and
Jeff B. Paris and
A. J. Wilkie and
George M. Wilmers and
C. E. M. Yates},
title = {European Summer Meeting of the Association for Symbolic
Logic: Manchester, England, 1984},
journal = {J. Symb. Log.},
volume = {51},
number = {2},
year = {1986},
pages = {480-502},
bibsource = {DBLP, http://dblp.uni-trier.de}
}