A larger decidable semiunification problem.

TitleA larger decidable semiunification problem.
Publication TypeConference Paper
Year of Publication2007
AuthorsLushman, B., and G. Cormack
Conference NamePPDP
DOI10.1145/1273920.1273939