APA (7th ed.) Citation

Colussi, L., & Marchiori, E. (1992). A predicate transformer for unification.

Chicago Style (17th ed.) Citation

Colussi, Livio, and Elena Marchiori. A Predicate Transformer for Unification. Amsterdam, 1992.

MLA (9th ed.) Citation

Colussi, Livio, and Elena Marchiori. A Predicate Transformer for Unification. 1992.

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