Transformation of Logic Programs

Chapter
Publication Date:
1998
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/207773
Book title:
Handbook of Logic in Artificial Intelligence and Logic Programming