Tóth István & Fülöp Zoltán. (1990). THUE rendszerekre vonatkozó eldönthetőségi kérdések (A Knuth-Bendix eljárás).
Chicago Style (17th ed.) CitationTóth István and Fülöp Zoltán. THUE Rendszerekre Vonatkozó Eldönthetőségi Kérdések (A Knuth-Bendix Eljárás). 1990.
MLA idézésTóth István and Fülöp Zoltán. THUE Rendszerekre Vonatkozó Eldönthetőségi Kérdések (A Knuth-Bendix Eljárás). 1990.
Figyelem: ezek az hivatkozások nem 100%-ban pontosak..