Monadic datalog, tree validity, and limited access containment

Dettagli Bibliografici
Autori principali: Benedikt, M, Bourhis, P, Gottlob, G, Senellart, P
Natura: Journal article
Pubblicazione: Association for Computing Machinery 2019