HIERARCHICAL REPRESENTATION OF LEGAL KNOWLEDGE WITH METAPROGRAMMING IN LOGIC (1994)

by Jonas Barklund, Andreas Hamfelt
Venue:J. LOGIC PROGRAMMING