Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.

Willem Conradie, Valentin Goranko, Dimiter Vakarelov

Browse the full AiML paper archive.