Hajime Yoshino On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation. 77-96 1997 5 Artif. Intell. Law 1-2 db/journals/ail/ail5.html#Yoshino97