The compilation of forward checking regimes through meta-interpretation and transformation

作者： D. De Schreye , M. Bruynooghe

DOI:

关键词: Interpretation (model theory) 、 Computer science 、 Transformation (function) 、 Calculus 、 Look-ahead