Search results for: Salvatore Ruggieri
Theoretical Computer Science > 2001 > 254 > 1-2 > 273-296
The Journal of Logic Programming > 1999 > 39 > 1-3 > 125-176
Theoretical Computer Science > 2001 > 254 > 1-2 > 273-296
The Journal of Logic Programming > 1999 > 39 > 1-3 > 125-176