Basic transformation operations which preserve computed answer substitutions of logic programs (1993)

by A Bossi, N Cocco
Venue:J. Logic Programming