Problem Libraries for Non-Classical Logics.

Jens Otten, Thomas Raths

Browse the full CADE paper archive.