Title
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof
Year
DOI
Venue
1991
10.1007/978-1-4471-3494-7_3
LOPSTR
DocType
Citations 
PageRank 
Conference
2
0.41
References 
Authors
5
4
Name
Order
Citations
PageRank
Geraint Wiggins140152.80
A. Bundy23713532.03
Ina Kraan318318.79
J. Hesketh420.41