The following pages link to Deciding the word problem for ground identities with commutative and extensional symbols (Q2096444):
Displaying 1 item.