EUODHILOS: A General Reasoning System for a Variety of Logics.

Hajime Sawamura, Toshiro Minami, Kyoko Ohashi

Browse the full LPAR paper archive.