Negrete, S., & Smaill, A. (1995). Guiding proof search in logical frameworks with rippling.
Chicago-Zitierstil (17. Ausg.)Negrete, Santiagao, und Alan Smaill. Guiding Proof Search in Logical Frameworks with Rippling. Edinburgh, 1995.
MLA-Zitierstil (9. Ausg.)Negrete, Santiagao, und Alan Smaill. Guiding Proof Search in Logical Frameworks with Rippling. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.