Maurice Boffa P. Henrard European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978. 386-414 1980 45 J. Symb. Log. 2 db/journals/jsyml/jsyml45.html#BoffaH80