15990 Bela Bollobas: Combinatorics. Set systems, hypergraphs, families
of vectors and combinatorial probability. Cambridge UP 1998, 180p. $22.

15950 Endre Boros/Ondrej Cepek: On the complexity of Horn minimization.
DIMACS 94/7 March 1994, 15p.

15976 Antonio Bucciarelli: Degrees of parallelism in the continuous type
hierarchy. Theor. Comp. Sci. 177 (1997), 59-71.

15970 Antonio Bucciarelli/Pasquale Malacaria: Relative definability of
boolean functions via hypergraphs. Theor. Comp. Sci. 278 (2002), 91-110.

15357 Yves Crama/Oya Ekin/Peter Hammer: Variable and term removal from
boolean formulae. Discrete Appl. Math. 75 (1997), 217-230.

15356 Oya Ekin/Stephan Foldes/Peter Hammer/Lisa Hellerstein:
Equational characterizations of boolean function classes.
Discrete Math. 211 (2000), 27-51.

15360 Oya Ekin/Peter Hammer/Alexander Kogan: Convexity and logical
data analysis. Theor. Comp. Sci. 244 (2000), 95-116.

15355 Oya Ekin/Peter Hammer/Uri Peled: Horn functions and submodular
boolean functions. Theor. Comp. Sci. 175 (1997), 257-270.

15359 Aaron Feigelson/Lisa Hellerstein: The forbidden projections
of unate functions. Discrete Appl. Math. 77 (1997), 221-236.

Peter Hammer/Alexander Kogan: Horn functions and their DNFs.
Inform. Process. Letters 44 (1992), 23-29.

15949 Peter Hammer/Alexander Kogan: Optimal compression of propositional
Horn knowledge bases - complexity and approximation. Internet 1993, 15p.

24322 Michael Harrison: Counting theorems and their applications to classification
of switching functions. In A. Mukhopadhyay (ed.): Recent developments in switching theory.
Academic Press 1971, 85-120.

15370 Lisa Hellerstein: On generalized constraints and certificates.
Discrete Math. 226 (2001), 211-232.

7928 Sze-Tsen Hu: Threshold logic. Univ. California Press 1965.

15975 Kazuhisa Makino: Efficient dualization of O(log n)-term monotone
disjunctive normal forms. Discrete Appl. Math. 126 (2003), 305-312.

23984 Massimiliano Sala/Ilaria Simonetti: An algebraic description of
Boolean functions. Internet ca. 2007, 8p.

15358 Chi Wang: Boolean minors. Discrete Math. 141 (1995), 237-258.