Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

SCHNEIDER-KAMP, Peter, 2008. Static termination analysis for Prolog using term rewriting and SAT solving. Aachen: RWTH Aachen.

Elsevier - Harvard (with titles)

Schneider-Kamp, P., 2008. Static termination analysis for Prolog using term rewriting and SAT solving, Aachener Informatik-Berichte. RWTH Aachen, Aachen. https://doi.org/urn:nbn:de:hbz:82-opus-26300

American Psychological Association 7th edition

Schneider-Kamp, P. (ca. 2008). Static termination analysis for Prolog using term rewriting and SAT solving [Cd]. In Aachener Informatik-Berichte. RWTH Aachen. https://doi.org/urn:nbn:de:hbz:82-opus-26300

Springer - Basic (author-date)

Schneider-Kamp P (2008) Static termination analysis for Prolog using term rewriting and SAT solving. RWTH Aachen, Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Schneider-Kamp, Peter, Static termination analysis for Prolog using term rewriting and SAT solving, Aachen 2008.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.