Select decks to compare

Deck A:

Mouse
Paramodulation

Deck B:

or