![]() |
| 1993 | ||
|---|---|---|
| 2 | Alain Colmerauer, Philippe Roussel: The Birth of Prolog. HOPL Preprints 1993: 37-52 | |
| 1984 | ||
| 1 | Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel: Editing First-Order Proofs: Programmed Rules vs Derived Rules. SLP 1984: 92-98 | |
| 1 | Maria Virginia Aponte | [1] |
| 2 | Alain Colmerauer | [2] |
| 3 | José Alberto Fernández | [1] |