Integrity verification in knowledge bases

by Franqois Bry , Rainer Manthey , Bern Martens
Venue:Logic Programming. Proceedings of the First and Second Russian Conference on Logic Programming, LNCS 592
Citations:28 - 3 self