E4.A — The Post Correspondence Problem and equalisers for certain free group and monoid morphisms

ICALP 2020