AuthorsO. Lysne
TitleE-Unification by Consistency
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1994
Conference NameProceedings 5th Nordic Workshop on Program Correctness
Pagination127-136
Place Publishedbo Akademi
Citation KeyND.5.LYSNE.1994.d