Formalisation of the British nationality act

Notes

• Allen , L E . 1957 . ‘Symbolic Logic: A Razor‐Edged tool for Drafting and Interpreting Legal Documents’ . Yale Law J. , : 66
   Google Scholar
• Kowalski , R A . 1979 . Logic for Problem Solving ,
   Google Scholar
• Fuchi , K . 1983 . ‘The Direction the FGCS Project Will Take’ . New Generation Computing , I : 3 – 9 .
   Google Scholar
• 1981 . The British Nationality Act , HMSO .
   Google Scholar
• Hammond , P and Sergot , M . ‘A PROLOG Shell for Logic Based Expert Systems’ . Proc. 3rd BCS Expert Systems Conference .
   Google Scholar
• Clark , K L and McCabe , F G . 1984 . micro‐PROLOG: Programming in Logic
   Google Scholar
• Clark , K L . 1978 . “ ‘Negation as Failure’ ” . In Logic and Data Bases Edited by: Gallaire , H and Minker , J . 293 – 322 .
   Google Scholar
• Dijkstra , E W . 1976 . A Discipline of Programming ,
   Google Scholar
• Kowalski , R A . ‘Logic Programming’ . Proc. IFIP‐83 Congress . North‐Holland. pp. 133 – 145 .
   Google Scholar