Algorithms for parsimonious complete sets in directed graphs. - Melkman, Avraham A.
Keywords: Algorithms; Proof graphs; Parsimonious; Abduction; Complete sets