Complete Logic Programs with Domain-Closure Axiom

Paolo Mancarella, Simone Martini, Dino Pedreschi. Complete Logic Programs with Domain-Closure Axiom. Journal of Logic and Algebraic Programming, 5(3):263-276, 1988.

Authors

Paolo Mancarella

This author has not been identified. Look up 'Paolo Mancarella' in Google

Simone Martini

This author has not been identified. Look up 'Simone Martini' in Google

Dino Pedreschi

This author has not been identified. Look up 'Dino Pedreschi' in Google