APA (7th ed.) Citation

(1995). Conditional and typed rewriting systems: 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 ; Proceedings. Berlin u.a: Springer, 1995.

MLA (9th ed.) Citation

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 ; Proceedings. Springer, 1995.