Laurence Cholvy Robert Demolombe Querying a Rule Base. 477-485 1986 Expert Database Conf. db/conf/eds/eds86.html#CholvyD86