21 P.l.871 T rau n m u eIl e r, Roland [Hrsg.J s. Formalisierung im Recht und Ansätze juristischer Expertensysteme. 1986.