Congruence Closure and Syntactic Unification

Leo Bachmair and Ashish Tiwari

Presented at Unification Workshop, UNIF'2000, Pittsburgh, PA, June 2000.

gzipped postscript or postscript

BibTeX Entry

	TITLE = {Congruence Closure and Syntactic Unification},
	AUTHOR = {Leo Bachmair and Ashish Tiwari},
	BOOKTITLE = {14th International Workshop on Unification, UNIF 2000},
	EDITOR = {C. Lynch and P. Narendran},
	MONTH = jun,
	YEAR = 2000,
	ADDRESS = {Pittsburgh, PA}

Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page