Hervé Kauffmann, Alain Grumbach. Mondes et programmation en logique. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985.
@inproceedings{KauffmanG85, title = {Mondes et programmation en logique}, author = {Hervé Kauffmann and Alain Grumbach}, year = {1985}, researchr = {https://researchr.org/publication/KauffmanG85}, cites = {0}, citedby = {0}, booktitle = {SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France}, editor = {Serge Bourgault and Mehmet Dincbas}, }