## Bengt Jonsson, Kim Guldstrand Larsen

*On the Complexity of Equation Solving in Process Algebra*

TAPSOFT, 1991.

@inproceedings{CAAP-1991-JonssonL, author = "Bengt Jonsson and Kim Guldstrand Larsen", booktitle = "{Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-53982-4_21", isbn = "3-540-53982-4", pages = "381--396", publisher = "{Springer}", title = "{On the Complexity of Equation Solving in Process Algebra}", year = 1991, }