@inproceedings {4216,
	title = {A Larger Decidable Semiunification Problem},
	booktitle = {ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP)},
	year = {2007},
	doi = {10.1145/1273920.1273939},
	author = {Brad Lushman and Gordon Cormack}
}
