Monadic datalog, tree validity, and limited access containment

Xehetasun bibliografikoak
Egile Nagusiak: Benedikt, M, Bourhis, P, Gottlob, G, Senellart, P
Formatua: Journal article
Argitaratua: Association for Computing Machinery 2019