Gaya APA

Reynolds, M, A. (2013). A tableau for general linear temporal logic . : .

Gaya MLA

Reynolds, Mark, Alexander. "A tableau for general linear temporal logic ". : , 2013. Text.