Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) M. J. Sergot and F. Sadri and R. A. Kowalski and F. Kriwaczek and P. Hammond and H. T. Cory,The British Nationality Act as a logic program,Communications of the ACM,0001-0782,Association for Computing Machinery (ACM),1986-05,29,5,370-386,https://cir.nii.ac.jp/crid/1364233270192922112,https://doi.org/10.1145/5689.5920