The Good Old Davis-Putnam Procedure Helps Counting Models. - Elazar Birnbaum; Eliezer L. Lozinskii (J. Artif. Intell. Res., 1999)

Consistent subsets of inconsistent systems: structure and behaviour. - Elazar Birnbaum; Eliezer L. Lozinskii (J. Exp. Theor. Artif. Intell., 2003)