| Title | A Larger Decidable Semiunification Problem |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Lushman, B., and G. Cormack |
| Conference Name | ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) |
| DOI | 10.1145/1273920.1273939 |
