Zsuzsanna Márkusz

• Papers on many-sorted logic as a tool for modelling