LP-1993-09: Makoto Kanazawa Completeness and Decidability of the Mixed Style of Inference with Composition 1.Full Text. < Back
