Derivation of logic programs (1981)

by C Hogger
Venue:TBD, No. TDB, Month Year. · Sandro Etalle et al