Rocco De Nicola, Daniele Gorla, Rosario Pugliese. On the Expressive Power of Klaim-based Calculi. Electronic Notes in Theoretical Computer Science, 128(2):117-130, 2005. [doi]
@article{NicolaGP05:2, title = {On the Expressive Power of Klaim-based Calculi}, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, year = {2005}, doi = {10.1016/j.entcs.2004.11.032}, url = {http://dx.doi.org/10.1016/j.entcs.2004.11.032}, tags = {rule-based}, researchr = {https://researchr.org/publication/NicolaGP05%3A2}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {2}, pages = {117-130}, }