Tohutoro APA (7th ed.)

(1994). Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering [and others], eds.

Tohutoru Kātū Chicago (17th ed.)

Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers / Jan Heering [and Others], Eds. 1994.

Tohutoro MLA (9th ed.)

Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers / Jan Heering [and Others], Eds. 1994.