Cite

HARVARD Citation

    CHARALAMBIDIS, A. et al. (2019). The Expressive Power of Higher-Order Datalog. Theory and practice of logic programming. 19 (5), pp. 925-940. [Online]. 
  
Back to record