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:29 - 4 self