@article{veanes2000farmers,
author = {Veanes, Margus},
title = {Farmer's Theorem revisited},
year = {2000},
month = {April},
abstract = {The main result is that there is an integer n, such that second-order unification is undecidable in all non-monadic second-order term languages with at least n first-order variables, and even if the arguments of all second-order variables are ground terms of size bounded by n and the total number of variable occurrences is at most n.},
publisher = {Elsevier},
url = {http://approjects.co.za/?big=en-us/research/publication/farmers-theorem-revisited/},
pages = {47-53},
journal = {Information Processing Letters},
volume = {74},
edition = {Information Processing Letters},
}