Specialisation of a Unification Algorithm

DA De Waal, JP Gallagher

Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book

Translated title of the contribution	Specialisation of a Unification Algorithm
Original language	English
Title of host publication	Logic Program Synthesis and Transformation: Manchester 1991
Editors	T. Clement, K-K. Lau
Publisher	Springer
Pages	205 - 220
Number of pages	15
ISBN (Print)	354017427
Publication status	Published - 1991

Other: # Technical Report TR-91-14

Handle.net

@inbook{c9d56c83b84c4544b088192366ae8f9d,

title = "Specialisation of a Unification Algorithm",

author = "{De Waal}, DA and JP Gallagher",

note = "Other: # Technical Report TR-91-14",

year = "1991",

language = "English",

isbn = "354017427",

pages = "205 -- 220",

editor = "T. Clement and K-K. Lau",

booktitle = "Logic Program Synthesis and Transformation: Manchester 1991",

publisher = "Springer",

}