TY - JOUR AU - Kowalski, Robert AU - Sergot, Marek IS - 2 JA - Ratio Juris PY - 1990 TI - The Use of Logical Models in Legal Problem Solving VL - 3 ER -