Verifying correctness of logic programs (1989)

by A Bossi, N Cocco
Venue:Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT ’89, volume 352 of LNCS