SPLT 87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France

SPLT 87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France. 1987.

Conference: jfplc1987

Bibliographies