THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM

[1] SYMBOLIC LOGIC - A RAZOR-EDGED TOOL FOR DRAFTING AND INTERPRETING LEGAL DOCUMENTS [J]. YALE LAW JOURNAL, 1957, 66 (06) : 833 - 879

[2] BENCHCAPON T, 1985, 2ND INT C COMP LAW H

[3] BOWEN KA, 1985, S LOGIC PROGRAMMING, P48

[4] CHAN D, 1984, THESIS IMPERIAL COLL

[5] CLARK K, 1984, MICROPROLOG PROGRAMM

[6] Clark K. L., 1978, Logic and data bases, P293

[7] DeMarco T., 1979, STRUCTURED ANAL SYST

[8] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[9] Feigenbaum EA, 1983, 5 GENERATION

[10] THE DIRECTION THE FGCS PROJECT WILL TAKE [J]. NEW GENERATION COMPUTING, 1983, 1 (01) : 3 - 9

[1] SYMBOLIC LOGIC - A RAZOR-EDGED TOOL FOR DRAFTING AND INTERPRETING LEGAL DOCUMENTS [J]. YALE LAW JOURNAL, 1957, 66 (06) : 833 - 879

[2] BENCHCAPON T, 1985, 2ND INT C COMP LAW H

[3] BOWEN KA, 1985, S LOGIC PROGRAMMING, P48

[4] CHAN D, 1984, THESIS IMPERIAL COLL

[5] CLARK K, 1984, MICROPROLOG PROGRAMM

[6] Clark K. L., 1978, Logic and data bases, P293

[7] DeMarco T., 1979, STRUCTURED ANAL SYST

[8] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[9] Feigenbaum EA, 1983, 5 GENERATION

[10] THE DIRECTION THE FGCS PROJECT WILL TAKE [J]. NEW GENERATION COMPUTING, 1983, 1 (01) : 3 - 9