![]() | ![]() |
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] |