Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. - Leszek Pacholski; Jedrzej Wierzejewski (J. Symb. Log., 1981)

Identities and indiscernibility. - Guus Broesterhuizen; Jedrzej Wierzejewski (Notre Dame J. Formal Log., 1986)