MUNCH - Automated Reasoner for Sets and Multisets.

Ruzica Piskac, Viktor Kuncak

Browse the full CADE paper archive.