ANTON: Composing Logic and Logic Composing.

Georg Boenn, Martin Brain, Marina De Vos, John ffitch

Browse the full LPNMR paper archive.