APA (7th ed.) Citation

Regensburger, F. (1994). HOLCF: Eine konservative Erweiterung von HOL um LCF.

Chicago Style (17th ed.) Citation

Regensburger, Franz. HOLCF: Eine Konservative Erweiterung Von HOL Um LCF. 1994.

MLA (9th ed.) Citation

Regensburger, Franz. HOLCF: Eine Konservative Erweiterung Von HOL Um LCF. 1994.

Warning: These citations may not always be 100% accurate.