Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes

Published in DL Workshop, 2021

Recommended citation: Eduard Kamburjan, Egor V. Kostylev. (2021). DL Workshop. CEUR 2954