On simultaneous rigid E-unification (Uppsala theses in computing science)

by Margus Veanes

ISBN: 978-91-506-1217-2

ISBN-10: 91-506-1217-4