Gaya APA

Peñaloza, F, B, A, R. (2010). Axiom Pinpointing in General Tableaux . : .

Gaya MLA

Peñaloza, Franz, Baader, And, Rafael. "Axiom Pinpointing in General Tableaux ". : , 2010. Text.