Wolfgang Bibel
Wolfgang Bibel.
On matrices with connections.
Journal of the ACM
, 28(4):633-645, October 1981.
Citations.
W. Bibel and E. Eder.
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.
Journal of the ACM
, 44(2):320-344, March 1997.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database