Conference
AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS
Authors
FARMER WM
Volume
51
Pagination
pp. 841-842
Publisher
ASSN SYMBOLIC LOGIC INC
Publication Date
September 1, 1986
Conference proceedings
JOURNAL OF SYMBOLIC LOGIC
Issue
3
ISSN
0022-4812