%0 Journal Article %J Information Processing Letters %D 2000 %T Generating all maximal models of a Boolean expression %A Kavvadias, Dimitris J %A Sideri, Martha %A Elias C. Stavropoulos %B Information Processing Letters %I Elsevier %V 74 %P 157–162 %G eng %0 Report %D 1998 %T On the maximal models of Horn formulas %A Kavvadias, Dimitris J %A Sideri, Martha %A Elias C. Stavropoulos %I Citeseer %G eng