Nemo: Your Friendly and Versatile Rule Reasoning Toolkit.

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krtzsch

Browse the full KR paper archive.