The British Nationality Act as a Logic Program. - Marek J. Sergot; Fariba Sadri; Robert A. Kowalski; F. Kriwaczek; Peter Hammond; H. T. Cory (Commun. ACM, 1986)