Herbert Fiedler Roland Traunmüller Formalisierung im Recht und juristische Expertensysteme: Hintergrund und Zusammenhänge. 367-382 1986 conf/gi/1986-2 GI Jahrestagung (2) db/conf/gi/gi86-2.html#FiedlerT86