Justification semantics: A unifying framework for the semantics of logic programs (1993)

by M Denecker, D De Schreye
Venue:In