Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.

Jrg Phrer, Hans Tompits

Browse the full LPNMR paper archive.