APA (7th ed.) Citation

Terui, K. (1999). Labelled tableau calculi generating simple models for substructural logics. Inst. for Logic, Language and Computation.

Chicago Style (17th ed.) Citation

Terui, Kazushige. Labelled Tableau Calculi Generating Simple Models for Substructural Logics. Amsterdam: Inst. for Logic, Language and Computation, 1999.

MLA (9th ed.) Citation

Terui, Kazushige. Labelled Tableau Calculi Generating Simple Models for Substructural Logics. Inst. for Logic, Language and Computation, 1999.

Warning: These citations may not always be 100% accurate.