TAGs with Unification. - Bela Buschauer; Peter Poller; Anne Schauder; Karin Harbusch (TAG+, 1990)