Jonas Barklund Andreas Hamfelt Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. 55-80 1994 18 J. Log. Program. 1 db/journals/jlp/jlp18.html#BarklundH94