Combining abductive reasoning and inductive learning to evolve requirements specifications. (2003)

by A D Garcez, A Russo, B Nuseibeh, J Kramer
Venue:IEE ProceedingsSoftware,