"Synthesis and Transfomation of Logic Programs from Constructive, Inductive ..."

Geraint A. Wiggins et al. (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics