Structure-Guided Automated Reasoning.

Max Bannach, Markus Hecher

Browse the full STACS paper archive.