| 1997 | ||
|---|---|---|
| 2 | Antony F. Bowers, Patricia M. Hill, Francisco Ibañez: Resolution for Logic Programming with Universal Quantifiers. PLILP 1997: 63-77 | |
| 1995 | ||
| 1 | Francisco Ibañez, Raymundo Forradellas, Fernando Barber, Rafael Berlanga Llavori: Dos Enfoques de la Programación Lógica con Restricciones. RITA 2(2): 5-35 (1995) | |
| 1 | Fernando Barber | [1] |
| 2 | Antony F. Bowers | [2] |
| 3 | Raymundo Forradellas | [1] |
| 4 | Patricia M. Hill | [2] |
| 5 | Rafael Berlanga Llavori | [1] |