Journal of the ACM Bibliography

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. [BibTeX entry]
Selected papers that cite this one


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database