On Hierarchical Reasoning in Combinations of Theories.

Carsten Ihlemann, Viorica Sofronie-Stokkermans

Browse the full CADE paper archive.