Keyword:Syntactically Defined Translation Schemes

Publications
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures Elena Ravve, Zeev Volkovich and Gerhard Weber In:GCAI 2015. Global Conference on Artificial Intelligence