Logic Program Synthesis (1993)

by Yves Deville , Kung-kiu Lau
Citations:42 - 11 self