Title: Rulebases:implementing the verification of rules with multivalued conditions
First published: 1998