Heiner Marxen

发表

Heiner Marxen, Jürgen Buntrock, H. Marxen, 1990, Bull. EATCS.