Sequoia: A Playground for Logicians - (System Description). - Giselle Reis; Zan Naeem; Mohammed Hashim (IJCAR (2), 2020)