Validation of first-order stratified KBs.

ric Grgoire, David Ansart

Browse the full KES paper archive.