R.A.I.R.O. Informatique théorique, 9 R1 (1975) 43-72
Published online: 01 February 2017
You can advise a colleague about this article by filling this form below.
Your colleague will receive an e-mail containing your message and a link to the selected article.
Here is the text to be sent:
[Your name] recommends the following article: