A Logic for the Exclusion Basis System

Samuel T. Redwine Jr.. A Logic for the Exclusion Basis System. In HICSS. 2004. [doi]

Abstract

Abstract is missing.