A Saturation-based Algebraic Reasoner for ELQ.

Jelena Vlasenko, Maryam Daryalal, Volker Haarslev, Brigitte Jaumard

Browse the full CADE paper archive.