Solving satisfiability and implication problems in database systems Article

cited authors

  • Guo, S; Sun, W; Weiss, MA

fiu authors

publication date

  • June 1996

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 21

issue

  • 2

research area