Gaya APA

Rybakov, V, V. (2012). Writing out Unifiers in Linear Temporal Logic . : .

Gaya MLA

Rybakov, Vladimir, V.. "Writing out Unifiers in Linear Temporal Logic". : , 2012. Text.