Gaya APA

Labelled natural deduction for a bundled branching temporal logic. (2012). : .

Gaya MLA

Labelled natural deduction for a bundled branching temporal logic. . : , 2012. Text.