APA citáció

Gáncs István & Tóth Péter. (1981). A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok.

Chicago Style (17th ed.) Citation

Gáncs István and Tóth Péter. A Programhelyessébizonyítás Logikai Módszerei Rezolúciós Kalkulusok. 1981.

MLA idézés

Gáncs István and Tóth Péter. A Programhelyessébizonyítás Logikai Módszerei Rezolúciós Kalkulusok. 1981.

Figyelem: ezek az hivatkozások nem 100%-ban pontosak..