Algorithmic correspondence and analytic rules.

Andrea De Domenico, Giuseppe Greco

Browse the full AiML paper archive.