"Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, ..."

Timothy Paul Clement, Kung-Kiu Lau (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics