APA

Anupam Das S. N., .Automated Reasoning with Analytic Tableaux and Related Methods. : Springer.

Chicago

Anupam Das Sara Negri, .Automated Reasoning with Analytic Tableaux and Related Methods. : Springer.

Harvard

Anupam Das S. N., .Automated Reasoning with Analytic Tableaux and Related Methods. : Springer.

MLA

Anupam Das Sara Negri, .: Springer. .