共 18 条
[2]
BOURJOLLY JM, 1992, 592 RRR RUTCOR RUTG
[4]
CHERIYAN J, 1996, DIMACS SERIES DISCRE, V26
[5]
LINEAR-TIME ALGORITHMS FOR TESTING THE SATISFIABILITY OF PROPOSITIONAL HORN FORMULAE.
[J].
Journal of Logic Programming,
1984, 1 (03)
:267-284
[6]
DIRECTED HYPERGRAPHS AND APPLICATIONS
[J].
DISCRETE APPLIED MATHEMATICS,
1993, 42 (2-3)
:177-201
[7]
GALLO G, 2890 TR U PIS DIP IN
[10]
HOOKER JN, 1994, 3 S ART INT MATH JAN