First-Order Query Evaluation

Martin Raszyk. First-Order Query Evaluation. Archive of Formal Proofs, 2022, 2022. [doi]

Abstract

Abstract is missing.