Peter Padawitz · 2 obras en el catálogoObrasComputing in Horn Clause TheoriesDDeductive and Declarative ProgrammingDeductive and Declarative Programming