An Equation-Based Classical Logic.

Andreia Mordido, Carlos Caleiro

Browse the full WoLLIC paper archive.