An se-tree-based prime implicant generation algorithm (1994)

by R Rymon
Venue:In Annals of Math. and A.I., special issue on ModelBased Diagnosis