APA aipamena

Benzmüller, C. (2019). Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset). Data Brief.

Chicago Style aipamena

Benzmüller, Christoph. "Universal (meta-)logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)." Data Brief 2019.

MLA aipamena

Benzmüller, Christoph. "Universal (meta-)logical Reasoning: The Wise Men Puzzle (Isabelle/HOL Dataset)." Data Brief 2019.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.