Synthesis of Logic Interpretations | IEEE Conference Publication | IEEE Xplore