DOI10.1016/S0743-1066(96)00107-0zbMath0886.68063MaRDI QIDQ4371994
Anthony J. Bonner
Publication date: 20 April 1998 Published in: The Journal of Logic Programming (Search for Journal in Brave)
zbMATH Keywords
deductive databases
Mathematics Subject Classification ID
68P15: Database theory
68N17: Logic programming