The British Nationality Act as A Logic Program (1986)

by M J Sergot, F Sadri, R A Kowalski, K Krivaczek, P Hammond, H T Cory