APA (7th ed.) Citation

Negrete, S., & Smaill, A. (1995). Guiding proof search in logical frameworks with rippling.

Chicago Style (17th ed.) Citation

Negrete, Santiagao, and Alan Smaill. Guiding Proof Search in Logical Frameworks with Rippling. Edinburgh, 1995.

MLA (9th ed.) Citation

Negrete, Santiagao, and Alan Smaill. Guiding Proof Search in Logical Frameworks with Rippling. 1995.

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