Gaya APA

Pelzer, P, B, U, F, A, B. (2010). The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation . : .

Gaya MLA

Pelzer, Peter, Baumgartner,, Ulrich, Furbach,, And, Björn. "The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation". : , 2010. Text.