Logic Program Synthesis (1993)

by Yves Deville , Kung-kiu Lau
Citations:38 - 10 self