## Hans-Josef Jeanrond

*A Unique Termination Theorem for a Theory with Generalised Commutative Axioms*

ICALP, 1979.

@inproceedings{ICALP-1979-Jeanrond, author = "Hans-Josef Jeanrond", booktitle = "{Proceedings of the Sixth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-09510-1_25", isbn = "3-540-09510-1", pages = "316--330", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Unique Termination Theorem for a Theory with Generalised Commutative Axioms}", volume = 71, year = 1979, }