APA citáció

Kovásznai Gergely. (2004). Unification for effective and finite semantic tableaux in first-order logic: The SOFIA prover : [abstract]. Szeged.

Chicago Style (17th ed.) Citation

Kovásznai Gergely. Unification for Effective and Finite Semantic Tableaux in First-order Logic: The SOFIA Prover : [abstract]. University of Szeged: Szeged, 2004.

MLA idézés

Kovásznai Gergely. Unification for Effective and Finite Semantic Tableaux in First-order Logic: The SOFIA Prover : [abstract]. Szeged, 2004.