Search | Browse | Templates | Query | |||||
paperid | title | year | banks_node_id |
---|---|---|---|
journals/tods/GuoSW96 | Solving Satisfiability and Implication Problems in Database Systems. | 1996 | 767188 |
Click here to go back to the BANKS homepage.
About BANKS - Help - People - Publications