@article{ALBERT1985121,
    Abstract = {Ehrenfeucht's Conjecture states that each subset S of a finitely generated free monoid has a finite subset T such that if two endomorphisms of the monoid agree on T, then they agree on S. It is the purpose of this note to verify the conjecture.},
    Author = {Albert, M.H. and Lawrence, J.},
    File = {A Proof of Ehrenfeucht's Conjecture - 1-s2.0-0304397585900660-main.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Pages = {121-123},
    Title = {A proof of Ehrenfeucht's Conjecture},
    URL = {https://www.sciencedirect.com/science/article/pii/0304397585900660},
    Volume = {41},
    Year = {1985},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0304397585900660},
    bdsk-url-2 = {https://doi.org/10.1016/0304-3975(85)90066-0},
    date-added = {2022-03-21 15:10:44 +0100},
    date-modified = {2022-03-21 15:10:44 +0100},
    doi = {10.1016/0304-3975(85)90066-0}
}

@article{ALBERT1985121, Abstract = {Ehrenfeucht's Conjecture states that each subset S of a finitely generated free monoid has a finite subset T such that if two endomorphisms of the monoid agree on T, then they agree on S. It is the purpose of this note to verify the conjecture.}, Author = {Albert, M.H. and Lawrence, J.}, File = {A Proof of Ehrenfeucht's Conjecture - 1-s2.0-0304397585900660-main.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Pages = {121-123}, Title = {A proof of Ehrenfeucht's Conjecture}, URL = {https://www.sciencedirect.com/science/article/pii/0304397585900660}, Volume = {41}, Year = {1985}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0304397585900660}, bdsk-url-2 = {https://doi.org/10.1016/0304-3975(85)90066-0}, date-added = {2022-03-21 15:10:44 +0100}, date-modified = {2022-03-21 15:10:44 +0100}, doi = {10.1016/0304-3975(85)90066-0} }