BibTeX Export

@article{Authenticus:P-017-XPV,
	title = {{The Word Problem for (ω - 1)-Terms over DAb}},
	author = {J Almeida and M Kufleitner and JP Wächter},
	journal = {CoRR},
	type = {Article in Press},
	volume = {abs/2411.08523},
	year = {2024}
}