Citace podle APA (7th ed.)
Verdugo Casas, J. A. (1995). Sistema demostrativo de razonamiento automático basado en resolución. edición de autor.
Citace podle Chicago (17th ed.)
Verdugo Casas, José Angel. Sistema Demostrativo De Razonamiento Automático Basado En Resolución. Guadalajara, México: edición de autor, 1995.
Citace podle MLA (9th ed.)
Verdugo Casas, José Angel. Sistema Demostrativo De Razonamiento Automático Basado En Resolución. edición de autor, 1995.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..