Effiziente Kompaktierungsverfahren für den symbolischen Schaltungsentwurf und für die Reskalierung von Masken-Layouts - Bonath, Werner (1989)