Branching Time? Pruning Time!

Markus Latte, Martin Lange

Browse the full CADE paper archive.