Feferman-Vaught Reduction Sequences, Incremental Automated Reasoning, Strongly distributed systems, Syntactically Defined Translation Schemes.
