Monadic datalog, tree validity, and limited access containment
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2019
|
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2019
|