William W. McCune
William W. McCune and Lawrence J. Henschen.
Maintaining state constraints in relational databases: A proof theoretic basis.
Journal of the ACM
, 36(1):46-68, January 1989.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database