Hierarchical representation of legal knowledge with metaprogramming in logic (1994)

by J Barklund, A Hamfelt
Venue:Journal of Logic Programming